Thanks again all for the advice. I'm learning a lot.
I've most likely settled on the
BMD ATEM Television Studio HD.
The plan is to use the program output for the lyrics-over-video overflow room feed and the aux out to mirror the computer lyrics input.
I read through that manual and compared it with the
BMD ATEM Production Studio 4k. There seem to be a few features missing compared to the cheaper one above such as picture-in-picture ability but with the added 4k compatibility which I do not need. Everything else seems to be on-par.
Do you all have a recommendation between these models or is it a wash for my simple use case?