If you use dexcool and don't change the coolant annually in that year, it will destroy the intake gaskets.
Unless he has the 4.3 V6, the 4.8 and 5.3 V8 intake gaskets never contact coolant. The intake gaskets are even reusable.
Totally different engine than the 5.7 and 7.4.