I bought the cheapest one I could find for like $20 and traded it to my dad for the one my grandfather used for decades. I've no idea what brand the old one is, and so far my 81 year-old dad has never even turned on the cheap one I got him to replace it.
