How to survive a gator attack