I found a large set of keys today on the gravel road that crosses the end of the crocodile lagoon on the way to the Fiesta Mexicana restaurant. One key was labeled with the name of "John Allen". I hung them on the top of the chain link fence next to the road.