Everyone seems to only remember the shutouts that Mrazek got, and completely forget the very next game when he was consistently pulled. Mrazek had one good playoff series and a very inconsistent regular season, and that's not enough to give him the number 1 job and get rid of the insurance.
This. People either forget about this, or they're blinded by the "newness" of Petr. These are some save percentages he posted last season - usually a rough outing, followed by a very solid one:
Clearly, he's got the ability to bounce back after ugly games, but he's gotta work on his consistency. So yeah, I definitely agree. It's good to have another solid goalie while he develops... you know, like that Jimmy Howard guy.