75% of out-of-envelope ejections are fatal. A spinning aircraft that just started making out with another plane is definitely OOE. Those 4 pilots are incredibly lucky, assuming they all survived (looks like it?)