Well, it's highly likely that during the head gasket job the ticking noise through the radio will stop...What head gasket should I use? Is the FIPG ok?
Will replacing the head gasket stop the driveshafts from leaking?
So, maybe other issues will too.
FIPIG is the bestest, gotta be OEM though. I like a layer of red on top of black. A thick coat of black in each cylinder will REALLY quiet the radio issue. YMMV