I thought the plugs had to all be the same. Doesn’t matter, disconnecting the battery has erased any code that was set. Good idea cleaning the battery connections
If you had lost all power the dash lights wouldn’t have come on. However, the engine quit.
I used to drive a V8 with an automatic but if I worked the accelerator just right I could kill it. So, even though this is kinda strange, since it has only happened once and you had it to the garage, maybe a fluke thing.