You'd sure THINK it would be covered. But you can order one from Autohaus in Arizona for $39 and most ANY local mechanic can replace it for you - or even the average "shade tree mechanic" can.

It's a super-easy fix. Details on how to do it are here, search "CPS" and you'll see what I mean.

Here it is, OOPS, it's now $54!

Before you order, wait for someone else to come along and comment, the OEM part is a Bosch I believe. They've now changed (at Autohaus) to this other brand.
I guess it's ok, and it's STILL cheaper than at a dealer... but wait for some other comments before you order.