Pattaya usefull info
About Tipping

A simple rule is to tip about 10%, most of the staff in Thailand gets a big portion of their salary from the tips, so in that way you can help them to sustain a respectable lifestandard.

And if you wish you can also tip the manager of Big Horn and I promise that he won't be sad. ;)