Jim, I agree with your last comment. But regarding the filter, nowhere in your post do you mention the filter being made of paper. I would not hesitate to follow the manufacturer's instructions on how to clean it. I think to first gently tap the filter to get the bigger particules dislodged, followed by a shop-vac thorough vaccuming, followed by a comprehensive blow-out, to finaly soak and wash a few cycles wil give you back afilter that will be as efficient as a new one, no doubt!
One important consideration, is your drying "cycle", ie let the filter air dry completely before you put it back to good use.
Great idea to have a back up filter on hand. This way, you always have a clean one to use right away.