[thstone]

There are other ways to get intermix but they are all worse than an oil cooler failure, blown head gasket, or cracked head (none of which are necessarily the end of the engine).

The steps that you and your mechanic are planning make perfect sense and should provide a diagnosis with a high degree of certainty.

Good luck, here's to hoping that its the oil cooler!