First of all I always tip! But that is each individuals decision on how much according to the quality of service they receive. It should never be expected!
If that girl would have handed me back the envelope telling me to put more money in it(How Rude). I would have handed her back the envelop with $0 money inside and instead a note that stated: You were very Rude so instead of the original $40 you get nothing. I hope you learned a lesson!!!