Paul posted:

1) All ports have roughly the same resolution choices,

I was surprised but you are right that the vga didn't change the resolution
from the hdmi. The only difference I notice is the hdmi carries the
headphone audio (which I won't likely use but it's ok to have anyways).

2) HDMI appears to have audio in this case.

Yes.

3) I can see reports of "funny things happening" with the audio
over DVI. It appears it can work.

I didn't realize dvi also handled audio.
I'm fine with the 10 foot hdmi cable I bought.

They had twenty, thirty, forty, and fifty dollar 10 foot cables!
I just bought the cheapest 10 foot cable they had.

Its called osmartech electronic High-Speed HDMI Cable (10 feet/3 meters)
Gaming Edition designed for PS4 and Xbox One Game Consoles
Ver 1.4, supports 1080p, 4k2k, Ethernet and 3D supported,
The SKU is 7 00253 86173 0

It was 7 dollars.