"billetthus" er et 10-bokstavers substantiv som brukes som synonym for "billetthallene". billetthallene betyr: Sted hvor billetter selges eller hentes