As someone who also lives in Thailand, I feel you must be aware of the dual pricing that goes on here in general - the classic example being national parks charging foreigners 10x the amount Thais pay. It is annoying, but if the cost is insignificant, is it really worth having a big battle over?