L42A1 Pricing

I have decided to sell an L42A1 that I own but have been unable to establish what a reasonable asking price is, in the USA? I've searched Gunbroker and Auction Arms but they have no sales history in the last 90 days. Anyone want to venture a price range?

Condition is excellent and it's all matching - here's some pictures.

https://www.milsurps.com/images/impo...53147325-1.jpg

https://www.milsurps.com/images/impo...53147382-1.jpg

https://www.milsurps.com/images/impo...53147437-1.jpg

The only US prices I could find were from the James Julia Auction Ads and Final Prices - March 10th & 11th, 2008 lots 283, 284 and 285. Final prices were From $3105.00 to $5175.00.
http://photos.imageevent.com/badgerd...11_%202008.pdf

It's worth 5-6K. I just sold a nice one less the chest and accessories for 5K and it now resides in England.