costal diving

I/we are looking at going to Fl to dive Memorial w/e. We might make a 4 day weekend out of it. What would be the best options? Diving the springs- I'm thinking Ginnie, Blue Grotto, Troy and/or maybe Devil's Den? Or off-shore diving anywhere from Pensacola to Crystal River area? I didn't include...