These wrench guys aren't the type that would remove a pan bolt, then tell you to watch for leaks...to improve business, are they?
Just a thought.
I hope they are well known & trusted by you.
X2
And there have been times when unscrupulous shop workers have been recorded on videotape "creating" a leak by simply carrying a small squirt bottle with them full of oil/antifreeze/whatever, so it is possible.