Thanks both. Found
a Dr Head Gasket tester
, for instance. I don't have a pressure tester, but the workshop probably will have one. I'll pass by and have my regular mechanic pressure test it…
And well, HGF isn't the end of the world, it's just the end of the world for the present head gasket