Thanks Richie. Unfortunately I didn't do the belts myself the previous time, but this time I will. This is a good excuse to buy even more tools!
I also think it is something to do with the valves because the car has been using a lot of oil lately. On a trip to Germany with speeds in excess of 200kph and a distance of 1200km I went through 1,5 liters. This is much more than I usually use, in prior 7k km I only added 500ml
I see that an overhauled head can be bought for ±1000 euro. I would have preferred ordering an RSBarn unit with uprated springs, but I think shipping is going to be a deal breaker.
But it might be fun overhauling the head myself...If I am going to replace one lifter, I might as well do the rest don't you think?