You’ll be doing well to pick up a second hand model for €400. I bought one on TalkPhotography for €390 last week but it’s not in “brand new” condition hence the low price. Second hand 17-40’s in good condition go for €450+
Obviously MY FRIEND if you are in the USA you can get one cheaper new
but as pointed out this is Ireland and things as you might have noticed are
a little dearer here, why not bother your friend again if they can be got that
cheap ??