Replacing the rear main seal may not be a simple task. Different cars use different designs. If the seal is not leaking, I would leave it alone. But that’s just me…
I would talk to both the transmission shop and your regular mechanic about doing this job. Choose the one who has the most confidence and consider the price they quote…