It would be interesting if everyone called a few dealerships service managers around them, see what they say, if they've fixed any.
Also, talk to the parts department, to see if they have any in stock or have ordered any, or have any on back order. Ask what they cost, while you've got them on...