Jeżeli masz w planach budowę takiej hali to warto zadbać o jakość powietrza na terenie całego obiektu. Dobrą decyzją jest wentylacja, która z pewnością podoła temu zadaniu. Wiadomo, żeby służyła należy regularnie ją czyścić. Z resztą ten artykuł:
https://brawent.pl/ile-kosztuje-czyszczenie-wentylacji/, przybliża tą kwestię, zwłaszcza ceny takiej usługi. Kiedy w mojej hali robiłem to po raz pierwszy, to ten tekst bardzo mi pomógł.