Better ask the college staff that supports it. After all, a coax cable is just a medium for analog or digital signals, and HDMI is more of a protocol for video and sound.