[RIP]

Nope. Haven't seen it. It may never happen again or it could be a sign something is starting to fail. If it happens again I would go to Autozone or Pepboys and have them download any codes the OBDII system may have set. It's free. Or...and I'm not sure this works on an 01...turn the key from off to on leaving it on the third time then count the number of times the check engine light flashes. A code 21 would be flash, flash, pause, flash. If you see a code come back here. All codes are two digits. Should finish with a 55.

You may or may not have seen the check engine light come on when it happened. Many think the check engine light has to come on for a code to be set. Not true.