I'm note sure I'd let the memory of this incident totally fade.....

I disconnect the battery on ANY repair operation more involved than checking the oil level - taking shortcuts will burn you in the long run. I don't mean to rub salt in the wound but not disconnecting the battery before engine work is a serious oversight IMHO.

Tim