EdLoach
It is mapped as such. There is also the tourism node https://www.openstreetmap.org/node/130231871 as the Great Hall is open on Heritage Sundays (in 2022 that is last Sunday of May to October, 11am-3pm). So I think this is probably mapped correctly so will close note.