Did Manos’ Mirage F-1 make it into the current version of this theater?