I have Devilbiss washer that delivers 3 gpm at 2500psi max with a giant hr3025 pump on it. I need an operators manual for it. Unfortunately, I do not know the model of the washer. It has a B&S 8hp engine on it. Would you happen to know either where I can get the manual or the model number of my washer (does not appear on the washer, or at least, I cannot find it.)