I am looking for HDMI to SDI Converters. I have noticed that there are a bunch of them out there (that are inexpensive) but not sure which ones are good. Anyone here have any experience with inexpensive HDMI to SDI Converters?