Dear Rick,
It is my opinion that this pool has traditionally been called "Crab Cooker". Once very hot, I heard that the flow has now changed. I have not been there for a while to confirm.
In the picture you can see an old furrow of dirt leading around the corner to the left where someone piped(PVC) in a new tub from Crab Cooker's source. I heard the BLM busted 'em. Too bad cuz the new tub was a five-star, 5+ person beauty.
MK