When my ungainly and pretty useless RAC branded jet washer finally gave up the ghost last year I tried a couple of compact machines from Van Haus which both had to be returned early doors due to problems. That ended up being good news because I then found the Bosch Aquatak washers and bought this one https://www.bosch-diy.com/gb/en/p/easyaquatak-120-06008a7901-v100044174 which is turning out to be a bit of a star. It's small, has plenty of power for washing bikes, cars and muddy driveways. I've discovered it can be hooked up to water butts too and it cost only £80. Hopefully it'll keep working as well for years to come