This pistol apparently sold today for £2400 plus commission! Lots more pics posted here (thanks to the owner of 2003):

https://forum.vintageairgunsgallery....tol/#post-8778

Anyone who knows who bought this pistol, please let me know.