I agree, every video I've watched of ben's, it seems like he's replacing a custom CPU with a type of arduino board (perfectly powerful enough and capable for a pinball machine). He already knows how to program them (and not just logic controlling driver boardss and keeping score, but driving a simplistic FPGA display), it's also cheap, readily available and replaceable, there's no reason why he would choose to use a PROC system whatsoever.