In short, pinball tech questions have been appearing in two different places (here and in tech help) before I started moving things around.
Where should they be?
1) mixed in with the general pinball discussion section (like tech for music is within music)
2) in a mixed videogame/pinball tech section
3) in its own tech section.