Most recent (maybe all) model gm vehicles have saved in the OBD2 system a reading for miles since dtc (check engine) cleared. So either it was a new malfunction that just happened randomly, the dealer has poor trade in inspection people, or they cleared the code. But either way, it was nice of them to fix it gratis.