I dont think the guy was actually eaten. Usually, a gator will drown its prey, then wedge them under a submerged tree root or something. They prefer to let their food rot a few days before eating it. Gator teeth are blunt, not at all like a shark tooth.