Nice set! I used to swim in one as a kid, the "Stone Quarry" is what they called it back in the day. It was located in New Paris, Ohio. It's been converted into a resort since then and now it's called "Natural Springs Resort." There are pics of it online.