The chap I bought mine off owned 3 of them, sold one of them, a mint boxed .177 to a bloke who travelled down from Scotland, for £1,500. The other 'mint' one was out of my price range, (what I was prepared to pay) the 'shooter' I bought was in very good nick but didn't come with the 'cheap bits' or box although it did have the certificate and gun bag.
He also had a few Stuzens.
He was clearly a collector, he decided to just offload them - don't know why - not my place to ask!
ASM