I am just looking for some feedback on Karchers industrial 3555 pressure washers. They put about 5.5 gpm and 3200psi out which uses a 20 hp honda . They say that the machine can do some steam as well which would be handy in my area . There is another machine that puts out about 5.2gpm same pressure with a 16hp honda . Any feedback on these machines would be great . Do they hold up ? The cost is about 10k and there is a 1000 dollar difference between the two. Has anyone ever bought one??