We are going to our home in July and as something different we wanted to go fishing. We live at the seaside in the UK and used to own our own boat so are seasoned fisherpeople and have fished on other holidays in Africa and the Caribbean but never in Florida. In July which coast would be the best to catch relatively big fish, Atlantic or Gulf? We were going to get a charter for 3 people and so I've got various internet quotes but wondered if anyone had a recommendation.