There is a tool called a sneaky pete. It screws into the old seal to get a grip to pull it out. A new seal can then be pulled into place.

If the shop can and will do it for $200, go for it. Will they stand behind their work?