Assuming that you are referring to the 02 sensors, that is about what they cost, each, but I have seen them for under $120.00 each. The IMRC, hmmm, last time I checked, it was somewhere in the $300 range for the part, and should only take 45 minutes to change out. $500.00 seems pretty steep.
