Movies filmed in Royal Opera House, London, England, UK

There are 3 movies that were filmed in Royal Opera House, London, England, UK.
City: London Country: United Kingdom
Hummingbird
(2013)
Pet Shop Boys: Inner Sanctum
(2019)
Bill Bailey: Larks in Transit
(2021)