Keep in mind that a washer pump designed for a gas will run at 3600 RPM and electric will be 1750 or so.
Have a good night,
John