I think it depends upon how much he has done that is above and beyond. I would probably tip him in the range of 15 - 20 euros per day. And although there are salaries there is also appreciation shown for excellent service. I know when travelling through countries that don't traditionally have tipping the staff has always been appreciative when receiving a tip.