Easy DIY to pull that cover and see if you can tell what’s leaking. RMS seal leaks tend to be on the flywheel and radiate out toward the edges. Oil pan arch seal usually won’t do that.
Either way sounds like your mechanic will be getting a come-back…
Here’s mine, RMS was fine, oil pan arch...