10k… f that, I will dig the hole with a spoon before i pay someone 10k to do it!
I will probably go ahead and at least dig it out myself, it will suck but what do you do? another problem I am having is finding the vent outside for the drain. stupid old houses!