Hi guys We're on a RTW trip and we have a few weeks to kill. We've decided we'd like to do some diving in Thailand. From what I've read, the gulf of thailand seems like the place to be at this time of year. Is the best option Koh Tao? We will be in the perhentians in malaysia in about a months time so a bit of variety would be nice however we are bound by the seasons it seems. I have read the west coast has better dive sites but not that great this time of year... Any advice would be greatly appreciated. Thanks