Magic! I added some settings from that link, and tried swapping the mini-HDMI lead over into the other port and YES! success!!!