Best way to output two streams, and add lower thirds keying to one stream?
Much like your Mac Mini approach, you can set up a PC with a free demo of vMix (http://www.vmix.com.au) and see if it will work for you.