Apparently Pastrnak might get released but they're not gonna release him until after the roster freeze on December 28th.
Lehner you can drop him if you want and just have someone else for the entire tournament, or you can pick someone else up on the condition if he goes or not, if he goes you get Pastrnak, if he doesn't you get whoever you pick to replace him. That won't be decided until after the tournament starts but you'll have you potential replacement player picked before it starts so it's all good.