I was looking at the video posted in the "Vintage Diving" Forum of folks hard hat diving at Dutch Springs, PA. If you haven't already, check it out. Anyway, does anyone know of hard hat diving opportunities being offered here in TX for people to experience?