Thanks for responses. Next time that sort of thing happens, I'll try to do it myself, or get a friend who knows this stuff to help out. It's very rare that I do auto work myself. I usually only do battery replacements, and occasional oil change.

OEM part is covered by warranty, so that kind of takes the sting out a bit on price.

Have a ... on me.

Cheers.