Related tangent: I recently bought an inexpensive consumer CO2 monitor for under $40. It confirmed my suspicion about air quality in my home office; after a few hours, levels rise above 1000ppm unless I leave a window partway open. Mid-afternoon mental fog cleared right up.