I'd rather buy a MMr. Originals have been messed with by who knows how many people for nearly 20 years. I don't know of any professional designation for a "certified pinball repairman" so I'll just call it tinkering. I like this community but I don't trust 5 strangers who likely tinkered with an 8k purchase before I bought it vs fresh from factory.