@larsman The Humminguru has the option of 5 or 10 minutes drying time.
The Degritter offers a lot more, but costs several times as much. You have to decide whether the capabilities are worth the increased price. I bought the Degritter as the Humminguru wasn't around at the time. If the latter cleans as well as the former, I'd probably go for the cheaper one (but then there are debates about 120kHz vs 40kHz).