Woodhead Mine, reservoir