[ChrisV (Chris)]

Your camera looks like it'll be great for outreach !

I don't think there are any purpose built astro camera with video outputs that are HDMI. Most standard video astro cameras are PAL NTSC. For higher resolution most go to digital cameras.