Hi guys,
My news is unfortunately all bad. The water pump sheared its mounting and threw the timing belt a few teeth. As a result, bent valves, damaged pistons ad perhaps rods...
As the car is going to be for sale after the repair, I'm going to put in a used engine as the cheapest option...