Thanks Notch, very helpful.
The £7.5k quote I had was for digging floor out, type 1, sand, DPM, 100mm celotex, concrete and screed with UFH included.
Doing the dig myself saves me about £5k - builder and plumber will do the making good for £2.5k - that sounds okay to me.
I have zero building...