It's more than likely Iron Oxide, especially if that Gator is a transient Male........Iron Oxide is the orange sludge you see in stagnant Canals or Ditches, and it does stain......Every now and then you'll see a Turtle picture pop up with the same thing........