I didnt know him but this outpouring of love for him is a testament to his great contribution to the pinball community. I wish I had the opportunity to have him do work for me so his legacy would live on in one of my games.
Condolences to his family and friends.