Andy, I can't believe no one has replied yet! I would think there would be a great debate started by now.
Everyone has their own parameters, and I didn't want to pay as much as you are willing to pay, and I chose the Klippermate. That gives a very different experience than the models you have mentioned, but I find it very enjoyable. A video shows it in action in real time, and you can see it here: https://www.youtube.com/watch?v=dH1ni6XavpM&t=4s
My total time, for my own racquets, which no longer require any extra thinking, is an hour. But I don't rush it. I am sitting on a couch, with the machine on a table in front of me. Doing the crosses is a little faster if one is standing.
I'm not trying to advocate for it, but couldn't stand no one having replied yet! Good luck!