Glad it wasn't you, Jim.

Hope the guy recovers and has learned his lesson. Do not swim in gator waters unless you are willing to pay a potentially big price for it.

Even this Yankee knows enough to stay out of the gator's water.