A simple 3 - 5 LNB swap is all thats needed. Many customers already use a 5 LNB since many SD locals are on the 119.
D12 and R16s receivers can't pick up HD satellites. Not every HD hook up consists of all HD receivers on an account.
But last I checked thats a KU satellite, If you read the links they are not putting 4K on KU satellites anyway.
And I'm not so sure they have enough licences in that location to even provide much to begin with.