What is Reddit's opinion of
"Amazon Basics High-Speed Mini-HDMI to HDMI Cable - 9.8 Feet (3 Meters) - Supports Ethernet, 3D and Audio Return"
1 comment of this product found across Reddit:
If by "mini" you mean mini HDMI, then you could pick one of these.
You should contact your ISP/Cable Company to see if they will swap out the cable box for you.