So, I just went and checked, and unfortunately, mine is the 7912 version, which is exactly the same physically, but has a more powerful motor that pulls slightly more amps. I'll give a good price if you want it. Let me know.
Don
-
I'll send you a pm. I'm going to keep looking for that 8012 but will keep yours in mind as backup.