The green cup could have been removed.
We all talk about the easy method (see MechaTech boot install instruction in the Download section).
But ... the shop probably didn't know of that method & could have dropped the entire axle assembly in order to remove the bad 1/2 shaft. I had to go through that whenever I installed the diff drops on mine. It's quite a bit of work to go through if you don't have to.
The seals are probably not very expensive. If you & a buddy or 2 are willing to give it a shot, you can do the entire job in your driveway with common tools (might have to pick up a few at Harbor Freight - but you're probably still looking at less than $100 to get'r done).