What are the current options for capturing from an HDMI source on a Mac? I know of BlackMagics card, are there any others? Thanks,