Brother of The Benz, ejsharp
It's good the read that either OE gasket is OK.
My 1987 W124030 with 177,000 miles had the cylinder head gasket replaced at 30,000 miles.
It was replaced by a campaign replacing all engines Cylinderhead gaskets within a bracket of engine numbers.
The engine hasn't been opened since then.
Good luck with you choice and repair.
Happy Trails Beep Beep from The Spiderman in Houston!!!