We have a P-ROC'ed T2 in the Comp Sci common area at the college where I work. For the last five or six years, my Comp Arch class has included a final assignment where the students write their own rules for it.
T2 is a fun theme for CS, but it was a lot cheaper back when we picked it up.
We also used to have a Brunswick Aspen that I brought to campus, so my students could program their own Arduino based switch matrix (on a smaller scale), but I eventually brought it back home since the game is a snooze and it cluttered the space.
I'd encourage you to not settle for just setting a machine up for flipping, but encouraging students to actually learn with it. There's a lot of opportunity to do so.