The pinball machine I bought was missing the two planes.
I looked around on the web but couldn't find them for sale anywhere, so I decided to print them myself.
They seem to be Tootsietoy models.
Maybe someone else can use them.