After deep cleaning vinyl what do you use as a 'maintenance' tool to keep occasional dust etc at bay? There any many possibilities out there it seems but do you have any particular recommendations for excellent antistatic brushes/ cloths or the like? Many thanks