It worked fine, albeit on+off with a 1.5 amp switch. Replacement is
supposed to be 6 amp. Local Grainger (oh, I don't know, 5 miles?) had
replacement in stock. 40 bucks.