“… People who were staying home during lockdown found joy in owning their own machines. This expanded the market, creating customers for new machines but also increasing demand (and prices) for old machines from the original heyday of pinball. This in turn created a need for more people to learn to repair machines. …”