One or two floor fans, small in size but powerful in ventilation, save space.
One for 9,000, two for 5,000.