Was there a high dive at your local pool? And how many feet deep was it?

The pool at the diving end was 16ft deep, sloping back to about 4ft at the other end.

As a kid yes. And I believe 12 feet deep.