I think he'll be awarded vaisilovskiy money. So if Holland is offering $4M+ he best take it or he'll find himself south of $4M. He has no water to tread when comparing himself to vaisilovskiy.
Vasilevsky hadn't played nearly as many games, and his stats are not vastly superior to Mrazek. I don't think he is a good comparable.