https://pinside.com/pinball/forum/topic/festool-owners-ro-125-5-inch-or-ro-150-6-inch