I doubt it was a priority. You don't need them in an opera house, when it's working as an actual opera house.

[And not, you know, people's living quarters]

At least I can entertain myself pretty well with the instruments. I spent almost a whole day getting everything tuned and set up in there. [He tilts his head in the direction of the music room.]