We are documenting the pinHeck board as we work with it on Python's Pinball Circus and also working on a more formal framework for it.
If Charlie/Ben decided to sell the boards to the general public, we'd more than likely share our documentation and framework with others using the board.
I have to commend Ben and Parker as the board was rock solid while we had Pinball Circus at expo and played 713 games without any issues.