Is there such a thing as a cable with a mini displayport (thunderbolt) on one side, and Mini HDMI on the other side? I have a pico projector, and the input on it is a mini HDMI, and i can't for the life of me find a cable on amazon without buying a mini displayport to HDMI adaptor then an additional hdmi to mini hdmi cable. ??? Am I missing it?