It seems that everyone buys laptops in the US and brings them home this way; whether they are in Australia, Costa Rica -- or even the EU -- on a personal level, nobody wants to pay more, especially not more taxes.
The only time I have paid import taxes was when I sent a used phone and laptop to a person on Reddit who needed them in Canada. Even though the devices were over five years old, the Canadian tax authorities wanted me to pay new retail prices for them. I paid the taxes so that the kid could receive the devices. I'm pretty sure I could have just declared them as having a value of $100, but by the time I got involved the kid had already said it was an "Apple Laptop" and the Postal Mounties just assumed a new sticker price. Frustrating.
He needs to declare it when he returns to the EU, and pay the same taxes. (Assuming it costs more than €430, which is the limit for bringing personal goods into the EU by plane.)