Record cleaning machine or other devices??

Time to get to Walmart and buy a hand held steam cleaner, usual under $30. It will get a lot of use, and not only on records.

Record doctor or Nitty Gritty has basic models starting around $200

If you in it, (vinyl) for the long haul, I would recommend
spending the dollars up front on a VPI HW-16.5. If you buy a
cheaper unit, it probably won't last as long and you'll just
end up buying the VPI anyway.

I've had mine for over 30 years and it has cleaned thousands
and thousands and thousands of records. Best investment I
have ever made in audio...

Ditto Mofimadness. VPI HW-16.5 is the way to go. I have it for over 25 years and it is still running.

Yes VPI or Clearaudio. I tried steam cleaning and I did not notice anything. I just got the Audiodesk cleaner as well.