Friend of mine is looking at Neons for his kid's first car. I know the older neon had head gasket issues, but when was that issue resolved? What model years would he want to stay away from? Thanks