Sending prayers of peace and comfort to his family and loved ones. I didn't know him personally, but I know that he was a lovely person and made amazing contributions to San Antonio pinball and of course the pinball community in general with all of his legendary games. RIP.