No, well over the top in my opinion anyway.
I paid just under £1000 for mine about ten years ago, so I would expect it to be worth in the region of £1000 - £1500 today. I remember the deal was sweetened by the inclusion of a nice 1960s Webley oil can worth about £80 at the time. I believe only about 500 of these pistols were ever produced between 1929 and 1930 when production ceased, possibly in response to a perceived infringement of the Webley patent in force at the time.
Brian