How much is that in U.S. dollars? I bought a No4 Mk1 a few months ago. Needed and ejector spring and a good cleaning along with a new coat of boiled linseed oilicon. Came up really well. Best 250.00 I ever spent