Strawberry's public recreation district, established in 1949, on East Strawberry Drive in Mill Valley: a five-lane outdoor pool with dive well, teaching…