They've both done callouts for multiple pinball machines. So there's an argument to be made that they should be included in the list of pinball people, so they can be added in the callout section of the design teams for the games they were part of, like Cassandra Peterson and Tim Kitzrow. No big deal. If you don't think it's worth it to add them, then that's fine.