DECs are paying (bonded) for their type rating as well. As for aircraft, your guess is as good as mine, I do wonder if they are hoping the Max will be back in service by summer 2020.
It’s a !!!!ty deal for your friends. All I can say is that no one wanted this. I imagine the vast majority of those pilots would have been much happier if TCX had carried on.