Pressure washers are hard working engine. If you treat your machine well and want it to last longer than it's water pump I'd put heavier oil. Personally on my Dewalt 3200psi pressure washer I put 15W-40 and the next oil change I'll add some engine restore for additional zink.
To be honest I only have two type of oils in my garage. 10-30 for my jeep and 15-40 for my diesel truck. All my small motors (riding mower, brush hog, leaf vacuum and more) get 15-40 HD diesel oil. Those motors run fully open most of the time and work hard when you push them.