На заводах с масштабным производством применяется централизованная вытяжная вентиляция с рабочих мест.
В домашних условиях затевать это всерьёз - комично.
Я попробовал у себя в сервисе компактный кулер Jamicon 12 V / 0,13 A и ощутил значительное облегчение.
После этого коллеги последовали моему примеру и сделали себе то же самое.
И дома у меня точно такое же оснащение: МБС-10 с вытяжным кулером, установленным прямо под подсветкой
Пардон за оффтоп.