The film's opening credits roll transition from the inter-title cards of "The Opera House" to "Other Opera House" which function as the film's title, "The Opera House: Other Opera House", on the film itself, whereas the film is almost entirely otherwise actually known as "The Other Opera House".