Stiffed by a coworker

I was serving my coworker (a fellow server) and her boyfriend tonight. Long story short, even after her employee discounts she tipped me less than 10%. I’ve never received less than 20% from a coworker, personally I prefer not to dine where I work but when I do, gotta tip the homies. What do y’all think the etiquette is here ?