Thanks all. I replaced the plug in cylinder 1, and all seems good again. Either we had a bad plug, or the wire was not set in properly. These plugs are so tough to reach, getting the wire to set properly is a PITA.
Anyway, took it out for a spin, about 60 miles, and no code popped up, so I...