My 500 SEL is in the shop today getting both a new air pump and pulley. They both were making noise (worn bearings?). Cost is $240 for pump, $35 for new pulley, plus 2.5 hrs labor. We will see the results tomorrow.