I have an HS-17 installation scheduled for next week with 4 Genie minis. This is a free upgrade. I currently do not have any 4K TVs but plan to in the future (at least 1 this year). My order currently includes 4 C41s. I am wondering if I should switch at least 1 (maybe all 4) to C61Ks. My only concern is that I have read many complaints of stuttering with the C61Ks and it seems to date back quite a while. Who knows when D* will resolve that issue (doesn't seem to be a priority). I won't get another free upgrade for 2 years and I don't want to have to pay $99 or whatever the cost is at the time to move from a C41 to C61K. Any recommendations on what I should ask for with the 4 minis? Thank you for the help.