A friend of mine has a massive collection, I do mean huge, of vinyl records that has avoided being destroyed by flooding for quite some time despite being stored in a basement. However, we finally had a big one that really did a number on them, and I'm not sure if they're salvageable. A lot of them are valuable and some are even rare, so this is just a shame. Does anyone have any tips on cleaning up vinyl (not bakelite) records and the best way to determine if they are beyond saving? Anything would help. Thanks!