Make sure they do BOTH gaskets. Granted only one is likely leaking now. However the other one cannot be that far behind. No sense in waiting for it to go bad later (maybe after the warranty expires?) when Isuzu knows now that they put out a bad original gasket design.