Lower Intake Manifold Gasket absolutely needs to be replaced with a new aluminum one. They didn't start using good gaskets until at least 2005.
And take him down to $8500.
And get a dealership to do a transmission flush as soon as yo get it. (only dextron, no solvents)