La máquina de pinball que compré estaba faltando los dos aviones.
Busqué en internet, pero no pude encontrarlos a la venta en ningún sitio, así que decidí imprimirlos yo mismo.
Parecen ser modelos de Tootsietoy.
Quizás alguien más pueda usarlos.