The dealer notified me that they will repair the valve gaskets and head gasket kit for $2250 instead of $6000. Glad they brought the price down but should I still repair it instead of trading it in?

What else should I have them check once they get to that level of repair?