Thanks, I'm still looking.
On Friday there were two channels marked 4k for olympic coverage - 146 & 148. Yesterday 146 disappeared but 148 had 7 or 8 sub channels much like our local sports channel; 148-02, 148-03, etc. None were 4k which on Friday was 148-01.
What really strikes me odd is Dish hasn't mentioned this anywhere. NBC website & a few others have but not Dish. Even if 148-01 begins beaming in brilliant 4k - who would / will know? As I write this I see where something is to be shown at 9AM EDT. I'll be watching & hope Dish will have it on!