Hi Steve, the average price for one like mine is £2000, roughly $3000. I have seen them sell for as low as £1800 and as high as £2200. Very few come on the market. Nearly all of them are what we call "old spec" with moving parts and field strippable. Very few have been imported since 1995 so welded up solid "new spec" examples don't seem to be around? But a "new spec" gun would be valued a fair bit lower. Naturally collectors and re-enactors are not so fond of them.
Hi Scout, it was indeed a very sad day for us. Only to be repeated a few years later with pistols.