Are these stored, even if the dash light goes out before service appointment? Will dealer provide list if requested? On Christmas Eve and Christmas Day had two lights come on and go off on their own. One continues this behavior as I wait for my service, tomorrow. Saw my local mechanic day after Christmas, whose device showed a general code P025, and some others, Kia-specific, as I understood him. Is the dealer required to note these, somehow, for the history/record? I’ve been satisfied so far, but don’t want to make a mistake that costs me, down the road, for failure to document problems. In the meantime, everything operationally seems normal... Thanks!