Thanks Nino,
It's great that the pinball community will be able to offer Greg's family a small tribute to Greg from all of us. What's the best way to donate? I assume we use the AP donation page on the menu bar and leave a message "for Greg" in the paypal section, is this correct?