$5 on an $80 dollar bill???? You should be ashamed of yourself! The standard is 15-20%, which means it should have been at least $12! These servers make very little money and we all know that, so unless you can learn to tip properly, stay home.

As far as the manager not sending you a gift card, Bravo!