Converting HDMI to Coax

We have installed a Intensity Shuttle in my church. The HDMI input is coming from a HD camera in the church, and the USB connection is to a Mac Pro for live streaming.

My problem is this:
We have three TVs in various locations around the church, that have coax cable pulled to a common location. How do I get the HDMI "Output" converted to Coax, so that the service can be seen in the other locations?

You need to search for "HDMI to RF modulator". The results would be a couple of no-name boxes on Amazon and ebay.

My choice would be to remove the coax and replace it with Cat 5. (You'll get better results.)

https://www.bhphotovideo.com/c/search?q ... =TOP_RATED