It might also be cheaper/easier to cut your losses, flog off the 740 and get something else (i.e. a Toyota). If time is a factor, waiting for the head gasket will take a week anyway.
FWIW the gasket set is: https://www.skandix.de/en/spare-parts/engine/gaskets/cylinder-head/gasket-set-cylinder-head/1000490/
