The best, and I think the only proper way to clean records, especially very dirty records, is to use a vacuum Record Cleaning Machine. You can use an ultrasonic cleaner first, then dry with the vacuum RCM, but ultimately, you have to get all the wetness of the record, as letting water dry naturally will leave deposits. Even using distilled/demineralised water will leave some deposits, unless you rinse every LP in clean water and dry using a clean soft towel. That's a very expensive way, especially with 80 records.
If you haven't got an RCM, or know anyone who does, then a very gentle scrub with a little washing up liquid in warm water will remove the worse, but unlikely to get the record properly clean. Depending on where you are located, there may be a record shop or HiFi shop that offers records cleaning, but with 80, that will be expensive.
It may well be cheaper to buy a used RCM then sell it again when you have cleaned all 80 records if you don't think you'll use it again. Nitty Gritty and Moth are two vacuum RCMs that come to mind, both are equally good. Both are noisy! wear ear defenders.
And finally, once you've cleaned the records, put them in new plastic inner sleeves, don't put them back in the original paper or plastic sleeves as those will be full of dirt, and that will go straight back on the clean record.
S.