I think I paid about £80 for mine.

If that one in the shop is brand new, then EUR125 is good.

I might be selling my 1230 sometime is the next year though to help fund either a 1260 or a PPC.