Eran conocidos respectivamente como VC-10 K2 y VC-10 K3.