We've started poking around out there, shovel in hand. Its the end of winter, the soil is soft, the weather is mild, there are no rocks to break through, just loam that goes quite deep.
I need to ask the plumber how deep to dig it though - I suspect it may need to be 2m deep x 3m x 2m plus...