You are right with both points. DISH had a contract for college football games in 4K but there was never an announcement that they would carry NFL in 4K. We speculated that it could happen earlier but then the outage began directly in front of the first game. I seem to remember seeing that game listed as 4K on the Fox Sports app guide but then it went away. As of this moment that game does not show as 4K in that guide.RSN's wouldn't have any effect on it, since they are FOX broadcasts.
That said, I don't think it was ever confirmed that Dish would get the 4K NFL broadcasts, regardless of the dispute, was it?