@mijostyn,
If you bought a collection with 1000;s of records, the Degritter which takes ~10 min/record and could take as much as 15min/record if its using the heavy cycle that needs to periodically cool-down, would prove quite cumbersome. For that type of collection you need UT record cleaning system using 'industrial' equipment that can clean 6 records at a time continuously with very fine filtration (0.2 um absolute) such as what is done here https://www.whatsbestforum.com/threads/timas-diy-rcm.26013/post-733751.
WRT to CF brush, consider that 5 um = 0.0002". I doubt you would notice 0.05" loss of length since it would be distributed among the 1,000,000 (1M) individual fibers - Anti-Static Record Brush · AudioQuest.
If you bought a collection with 1000;s of records, the Degritter which takes ~10 min/record and could take as much as 15min/record if its using the heavy cycle that needs to periodically cool-down, would prove quite cumbersome. For that type of collection you need UT record cleaning system using 'industrial' equipment that can clean 6 records at a time continuously with very fine filtration (0.2 um absolute) such as what is done here https://www.whatsbestforum.com/threads/timas-diy-rcm.26013/post-733751.
WRT to CF brush, consider that 5 um = 0.0002". I doubt you would notice 0.05" loss of length since it would be distributed among the 1,000,000 (1M) individual fibers - Anti-Static Record Brush · AudioQuest.