I'm looking for a magnet charger. They were used to charge the magnets on magnetos. Allen, Bosch, Weindoff are some of the companies that made them. Any leads on one would be appreciated.