This sounds like a great trip...i am going to have to consider it, but i am also considering another alternative, a cruise from Galveston for $256. thru my membership club.
Thing about a cruise is you only get 2 days of diving...but it’s good diving. !!!! (Coz and Cancun)
PS if anyone wants info on my cheap trip membership, just ask me.