I'm going to go ahead and say get a new unit. I bet that "HDMI" replacement is not going to be cheap, and that's assuming it's the only thing that was damaged. Typically, the most expensive part of electronics repair is the diagnosis, but motherboards, HDMI stuff, is usually pretty expensive as well, and in my very limited experiences, when the stuff is no longer current, these parts are actually even more* expensive. YMMV.
So, I say swallow the pill, get a new unit.