Hah! And the value of the Pi for these kinds of ~industrial applications is why there was a shortage of Pis for hobbyists.

It's funny how Raspberry Pi started out for an educational market, and accidentally revolutionized the embedded market.