What is the correct procedure for replacing a leaking exhaust pipe gasket at the cylinder head exhaust port?

1. Remove the exhaust pipe flange, clean all old gasket residue from the port recess, install a new copper or crush-type gasket, and torque the flange nuts evenly.
2. Apply high-temperature silicone sealant around the leaking joint without removing the pipe.
3. Tighten the exhaust flange nuts with an impact wrench until the old gasket is crushed flat.
4. Wrap the exhaust pipe joint with fiberglass exhaust wrap tape and secure it with metal clamps.