This is an interesting thread as I am getting a 4k genie and a genie mini installed today. My initial plan was just to add another receiver for a "mancave" type setup. I currently have:
HR 24-100 (Master bedroom)
HR 34 - 700 (living room)
They told me I could get a new genie with 4k and a genie...