I am thankful for Pinside and the collectors and players who make this a great community! Thanks to Robin and the mods. Thanks to everyone who offered technical advice or took the time to answer questions or be an ambassador to pinball. All the best to an amazing 2018!