After 17 months of dutiful service, it was long past due to change the workshop air filters. I had to make do with a larger size than I wanted to get the charcoal filter, a necessity sharing a room with a litter box. Supposedly MERV 11, to boot. We'll see if it makes a worthwhile difference.
https://www.ruralking.com/catalog/product/view/id/186192