It appears that I have all that I need outside of the HS17 and a C61K client. The system info says I have a SL3 LNB dish, SWM LNB, a Reverse Band RB/INTL, and a 22 SWM channel count.
I chatted with rep this afternoon who swore that an HS-17 would NOT provide 4K to a client. I should have known...