I didn’t knew they had a technical bulletin for that, thank you for pointing it out. Having worked on them for over a decade that was the procedure I was following, but most of the times a bit of red dust inside the wusta will be a tell sign a gasket needs replacing.