I've had a leaks from transmission pan gasket, it never made the output shaft appear to the be source of the leak.
This is a pic of my a-500/ 42re transmission on my 1989 taken just now from below my side doors
My TX pan is painted silver and has a drain plug added to it. Quite some distance from output shaft.
If your guy removes the pan, use a rubber, not a cork gasket. The filter comes with gaskets for both the A518 and A500.
Add a drain plug kit too, as dropping the pan is a messy nightmare of a job without one. With one, dropping and replacing 4 quarts is easy and will prolong the life of the TX. Use only ATF +4, nothing universal trust nobody who says its not important or that the dipstick itself says dexron on it therefore it is fine. It is not. ATF + 4 only, and anything brand labelled ATF+4 is equally good as any other. they have to use the same basestocks lubrizon add pack to meet ATF=4 specs.
Redline C+ has the same addpack but uses more expensive group 4 and 5 basestocks, but is more than 2x as expensive per quart.
Not using the right ATF will have the transmission start shuddering in overdrive in about 10K miles, it will feel like driving across rumble strips from torque converter clutch chatter.