As with many places here, this little pocket beach seems to be called various things by different folks. There is a natural rock formation which extends a "snout" out over the water, so some call it "Crocodile Beach." I have heard some call it Jeffries, too. My current thinking is that the most common name for it is probably "Hidden Beach," although that seems to be used for another nearby one, also.
Click on "Map This" above if you would like to see where this is.