How about a No.4T estimate £5-7000 GBP

Hammer Price £10,000 GBP, so with fees probably around £13,000 !

Nice, but.....................
...