I am going for my first visit next week (yee), and have been debating the same issue. The options for me are 7mm or 3mm jumpsuit with 4mm shorty. Noway was I considering 3mm alone. I was not so much worried about the water (sounds so nice and warm) but since air temp isn't particularly warm this time of the year , I do not want to get out of the water borderline chilled, and continue to feel uncomfy as I need to start stripping.
I had already decided on the 7mm but I see forecast is improved from fifties to seventies for next week! Now I am back to pondering which one to take. The combo would probably be fine if my 3mm wasn't a bit loose on me. This is a trip for me (multiple dives), so I do not wish to get cold on the first day, and have to bail out from rest of the dives.
P.S. Anyone know how long it takes to drive from Ginnie to Manatee Springs?