It's always good to hear of service experiences that go well. Thanks for sharing. I'm sure many in SoCal will take note of where you went.

I've never heard of anyone that changes an oil pan gasket as part of a Level 3 service, not even Prevost. An oil pan leak is typically a separate repair item given it would not be included in the fixed price level 3 service. I would also find it unheard that any mechanic or shop would have removed an oil pan without a new gasket. The gasket is cheap.

Enjoy SoCal!