HumminGuru vs.Degritter

I own the original HumminGuru record cleaning machine (not the upgraded model.). I’m thinking of buying the Degritter. Can anyone who owns both machines tell me if it’s worth the greater price?  Or, can you recommend a machine in the same price range as the Gegritter that’s better?