Someone at work wanted to know how the Karaoke was set up at the company retreat so here it is:
Equipment
- 2 TVs
- Portable Karaoke Mixer Set
- HDMI Splitter
- 3 HMDI cables
- 3.5mm audio cable
- Speaker
Hardware Setup
2 TV Setup 
1 TV Setup 
Mixer Starting Settings
You can also download the images as a PDF
Software used
We looked at various options and settled on Karafun. It has a offline mode which was reasonably priced and the library was big enough for the team.
Just publishing this now for my colleague but will come back to explain more about the software decisions and what we learnt from it.