Well I'm glad that this was fixed in a manner that you felt was fair.
Those greedy bastards, you already pay their wages by paying for your food and then someone has the nerve to steal from you because they expect you to tip them.