Robin Hood Lake, also called Jungle Jim Lake, featured Stunt Rock, from which Jungle Jim, played by Johnny Weissmuller, dived into the water. To allow for underwater photography, a camera house was built and hidden under the bridge at the west end of the lake. All of the underwater sequences of the Jungle Jim films were shot there.