Well, they would have to do an engine rotate which they would probably charge you 3-4 hours labor for and probably another 1-2 hours to replace the rocker box gasket, and then parts cost... I would bet the $800 is on top of the $500, but thats why they're called stealerships..