OEM AR 7/8" Pressure Washer Pump fits Craftsman 580752240 580.75224 580752242