if GBP80k is before buyers premium, then the seller probably got circa GBP65-68k if you take into account sellers fees of around 15%, vat on fees, and any transportation costs.