Coolant crossover pipe leaks are such a well known issue on these, glad the inspector actually knew to specifically check there instead of just a general glance under the hood. Dealers conveniently "forgetting" to mention known problem areas is honestly so common, good thing you didn't just trust the service records alone.