List price in the states is $1000 (£760). Street price is around $800 (£600).
You can find the 7.5J one at Krale in Holland for around £550, and on some German websites for a bit over £500. Add shipping and the cost of a replacement spring. And any professional tuning/fitting you want.