Anybody headed to White Star Quarry on 10/9?

My dive buddy and I hope to be there to get in a couple of dives between 1pm and 4pm (unfortunately, possibly the last dives of the season). Anybody else have plans there?

When we arrived at about noon, there were was one group of 3 divers there. As they were exiting te water as we entered and entered as we exited, we had the whole place to ourselves for our first dive. Although the water felt cold upon initial descent (3mm full suit with 3mm boots, 3mm gloves, 6mm farmer john top, no hood), it quickly became comfortable (between the mid-60's and mid-50's with no real thermocline). We practiced some navigation skills (which I really need more practice with), checked out the bottom and top of the shaft (separately), and watched fish and crayfish. These were only dives #7 & #8 for me, but I had a blast...