BTW, occasional shortages of repellent do happen as the stores have a hard time keeping up with the tourists who don't bring their own. I highly suggest a pump bottle/s of 40% DEET (do check since many stores sell 5% DEET which is useless)--common at Walmart. Bring it with you in checked baggage and if you don't need it, so good, costs just a few bucks.
Dave Dillehay
Aldora Divers
Dave Dillehay
Aldora Divers