También podrías conocer este lugar por los siguientes nombres:
Royal Armoury of Madrid, Real Armería de Madrid