https://pinside.com/pinball/forum/topic/what-other-hobbies-do-pinsiders-have