How big is the discount? now going for 400€/$ -- wasn't the regular price about 450? (ok ok, that would still be over 10% but is it worth it?) Kai