We're coming to town next week for some diving and were wondering what the current status of the Mill Pond is. I remember reading here months ago about plans to drain it; is it still drained? What sites are accessible?

thanks,
-Rob