I was in Devil’s Den in December and really enjoyed camping there. It’s right around the corner from Blue Grotto so it’s a great spot. I went diving at Ginnie too but was told to watch my stuff because the theft problem was bad...not from the divers but the people camping there who trash the place with their cans when they go tubing. I dove with American Pro at Rainbow and Crystal River and had a great time. Whatever you decide...have a great time.