I have tried Gruv Glide and Last stuff and in my opinion they just leave a bunch of stuff on the record, not good. I don't use them and prefer to use only RR products, they leave the surface nice and clean with no muss no fuss. The deep cleaner followed by the super wash is what I do to used records, just the super wash to new.
Also the LP9 stylus cleaner is excellent.
Also the LP9 stylus cleaner is excellent.