Ran in to a bunch of those off of Destin years ago. They were huge. We snagged one by accident and he got all upset. Jumped clear out of the water right next to the small boat we were in. Scared us pretty good. Only time I've ever seen one. They are funky looking fish!
Came across one snorkeling off of Cancun years ago. Very unafraid of me getting close to it. It was about 4-6 feet tall, plus the fins on top and bottom.