i think it was ok not to tip them, if all they did was bring it. at least, if it were me, i wouldn't have even thought to tip them (but i've noticed that in a lot of situations, tipping is a thing of the past... like, my parents will do it at times it wouldn't have occurred to me to)