I know there has been talk in the past about ceiling mounted air filtering systems and the drawbacks - height, odd filter size, expense of odd filter sizes… Why not be makery and build some using common, cheap filter sizes, cut and bent sheet metal ducting, and some surplus fans from some defunct / decommissioned HVAC systems?
Pull the air in through the filters and return it back to the room and use some pressure sensors to alarm for filter changes. Combine it with an air quality sensor to only run when the particulates get above a certain level if you want to add some smarts to it.
We all know the air in there is terrible and we must maintain a negative pressure situation with the workspace to keep the dust from migrating out through every crack and crevice imaginable. This would circulate air in the workshop to help folks feel better in the heat and wouldn’t result in a positive pressure situation.
Thoughts? I’d toss a Benjamin at it to help with costs and I’ve rarely used that space.