I am looking for a gas pressure washer. Any suggestions regarding brand? I have looked at the better Craftsman models, Karcher, CH, etc. Not looking to spend more than $700, but I want a good model that will last. Use will be greatly varied. From decks to siding to cars/tractors to cement floors, etc. I found a Karcher gas model at: Karcher Pressure Washer Any thoguhts on this model? I also looked at the following item at Sears: Craftsman Pressure Washer Thanks for the feedback.