My local shop(in NL) sells that set for 620€ so I think for a new set it isn't a bad price.
Also don't forget that here in Europe taxes are already applied to the price. In the US they pay taxes afterwards, so don't get fooled by their amazingly low prices
If it's the best option for your friend, I don't know about that. A 700D with 18-55 or maybe even 60D might be a better starting point?