You would be best to sell them as the target rifles they are (regulated by fultons of Bisley for range use). There is some demand for them for range use and they normally sit under 1k but completely depending on sights, condition, etc.
Ironic when you consider the cost of them originally compared to a sold out of service no4.
The JCs vary wildly and depends on condition and whether it’s all original. I’ve not paid more than $600 for one but they are regularly advertised for up to $1200.
Photos would be useful.
Bookmarks