Can we get Dallas to take Mrazek?

Doubtful. Mrazek and Khudobin are essentially the same goalie. Only difference is that Khudobin is cheaper and has just 1 year remaining on his contract. If the Stars move Holtby (which they should if they are out of the playoff race come the TDL), I'd rather see them just call up Khudobin & let Oettinger get all the starts moving forward. This allows Dallas to assess Khudobin and determine whether or not they should hit the UFA market for a cheap backup in 2022-2023 or if they think Khudobin has bounced back enough to become viable next season.

This is poor value for Dallas.

Engvall has no value to Dallas, retention alone costs more than him. Holtby starts at a 3rd and can go up to a 2nd depending on how many teams want him.