These situations are exactly why I never go to mechanics if I can do the work myself. As far as the shops creating this problem. Did they open up the box at all? If they didn't then I'm thinking its not likely they messed up that seal.
I can see a crack being created from rough handling, but the transmission does have high mileage. I mean with that type of mileage I wouldn't be surprised if an oil seal gave up.