You would be best served to just call the dealership and get a quote from their service dept. They should be able to quote you over the phone for that service. I would call more than one if you have a few in your local area as sometimes their prices CAN vary. I wouldn't bother with dealer provided OEM parts. You can get high quality stuff that is BETTER than OEM for much less than $400.