I can only think of one marina in the Gulf of Thailand. It's called Ocean Marina in Pattaya.
www.oceanmarinayachtclub.com
There aren't many marinas on that side of Thailand and the cruising around the area isn't as nice either. Not that many islands around.
Let me know if I can be of further help.