Record cleaning machines have existed for a long time (dare I say as long as records have existed?). The best kind use vacuum and a surfactant to lift and remove dirt and grime. The cheapest manual ones just use brushes and liquid.