Oh wow that’s a bit average Puffy but on the flip side what would a “0” km TT go for these days ..... alot more than what it’s going to cost you to pull it out ( probably get away with a boar hone only and new std pistons and rings, gasket set, big end bearings ) put it back in with a fresh bill of health and odds n sods along the way
if that same bus was on the yard with a current receipt for such works anyone would pay upwards of 15k for that piece of mind.
You've probably just got the deal of the year buddy especially if they’ve thrown you back 1.5-2k for the trouble !!!