I wish I could help with a recommendation, but I have never taken any cameras or equipment for repair. My camera actually broke recently, and I need to replace it. I might also consider repairing the old one if it can be done cheaply. If I get any info about repairs, I'll let you know.
Have fun in Florida!