Yes , i would expect them to cost around 150 Euros give or take .
If you are in no rush there are bargains to be found , but not very often . The first one i bought costed me around 115 euros and the second one , i bought a second hand boxed Amiga Technologies A1200HD for 50 euros and found a nice surprise when i opened the trap door
I got an Amiga Tec. 1200HD cheap too with loads of other nice goodies, (8Mb RAM/RTC/FPU card, Goliath PSU, CF transfer kit, Pink Zipstik, new Comp. Pro controller Pad, loads of books, disks and loads more). It's even as white as an American supermodel's teeth!
Odd thing was that the auction (buy it now) was far from assuring as there was no picture but was well worth the risk! Think it was £100 including P+P.