Green's Automatic Demagnetizer
Another eBay find; this was in poor condition but worked. I spent several hours wire brushing off the damaged powder coat finish and repainted it with black wrinkle finish. Then I replaced the cord with cloth covered cord and the original plug. The push button is quite nice as it has a mother of pearl button top. It works great now.