"Musikkhuset" er et 11-bokstavers substantiv som brukes som synonym for "Olavshallen". Olavshallen betyr: Et sted for musikkarrangementer, kan være en annen betegnelse for Olavshallen.