Hope you're sleeping now. Dogs are great. Mine don't get pinball, though. Can't understand why I'm standing in front of this big box, petting it and playing with it, and not them.
They do like to go to the hardware store to get things to maintain and fix the pinball.
Sorry for your loss.