Depending on how maintenance-free this is once it’s configured (because non-technical people are not going to mess with things), this actually looks like a pretty solid solution. Thank you!

What suggestions do you have for simple media players that techy people could recommend to their families? It seems like for the most part we’re limited to Android-based devices or the Apple TV.

The main difference seems to be that the Prime model includes start/select buttons. I use a keyboard for navigation so that hasn’t been a big deal for me, mine is the EX Pro. There’s a detailed comment here for additional differences (sorry it’s on reddit): https://old.reddit.com/r/DanceDanceRevolution/comments/1iqrrtn/new_and_clueless/md33x8k/

I highly recommend L-TEK if your budget allows: https://www.iamats.com/

I have one for DDR and one for PIU, both have been great.