I suspect Jimmy comes back better than ever and we will be moving Mrazek.
You're nutz lol.
Mrazek is unproven and still has to round out his game, there a lot of goalies who come in but after while they come back down to earth because other teams are figuring them out and adjusting their attack style accordingly.
Howard is a capable proven number 1 sure he is not elite but only a few guys are. Also with Blashill coming in everyone will have to earn the trust of the new coach so I expect Howard to have one hell of a season and around 10 - 15 games for Mrazek if Howard stays healthy.
You've haven't watched him in juniors or the AHL. He's more than capable of being a #1 goalie.