Sorry if this is a duplicate post from me.
I had the fortune to visit and meet Marvin a few years ago. I played a bunch of stuff there but we settled on pinball. Marvin came over and asked us our opinions on some pinball questions he had, mainly our opinions.
Very very nice person. Miss you already.