Thanks very much.
Mr. Iny, I'll use the case of the F-150 with the brake pump issue. From a consumer's point of view, if a Ford dealership bought a truck of that age—I think it was 2011, 2012—at a car auction and it had not been fixed, would they be notified somewhere about that recall? Would that show up in the computer?