Well, I missed this, and it's already August so I can't be of any help to the OP, but for anyone else interested in a Thai dive holiday, please count on me for advice and assistance.