I'm going to have to fix it then. I think it would be a good idea to replace both of them, given the age and mileage of the car.

Is $300 in parts plus tools a good estimate? There's a DIY guide here on this site for the W126 and I'm intent on doing this job myself.