I'd stay far, far away from pinball basement. A quick google search will show many of the repeated and awful problems with both product and service.
Quoted from ForceFlow:I'd recommend doing a forum search for K's Arcade.
As for the Pin-Tek board itself, that's the first time I've heard about it. I don't know who actually makes it.
Another option: https://pinballbasement.com/