It took a while but finally got the kids Nintendo Switch repaired (the HDMI output was not working on the Switch itself). They can now play on the main screen (which itself is definitely due an upgrade).