If it was in for service that didn't involve pulling the cover how could they possibly see it? I would have hit it with brake cleaner and wait a month or so to see if the leak was active before replacing a main seal.
Main seal leak involves a lot of disassembly. It may come back with new noises. Good luck with the repair but any issues I'd trade it. Sorry you have to deal with this.
Main seal leak involves a lot of disassembly. It may come back with new noises. Good luck with the repair but any issues I'd trade it. Sorry you have to deal with this.