Happy for Dennis. He could really use a break, hope American Pinball is the place for that to happen. I only got to hang out with him once, but we commiserated over a certain pinball company owner.
More importantly the news that he's mentoring new designers is great. This hobby relies an awful lot on the old guard. No scene can thrive without new blood. It's exciting to see new designers with new ideas come in. We all win when that happens.