Hi all, thanks for previous advice. Head Gasket leaking externally has been resolved. Looking at the old Gasket, there were additional faults internally. Head planed, all good now. Engine sounds and runs better, as one would expect after repairs.Just for info the cost here in Spain was around 1300 euros, independent workshop. Regards to all and of course Happy Christmas.