30 years later my dad was still using it, about 50 years of constant use. It had stopped "popping up" in later years, but still switched off at the right time, which is more important.
googled it - fetching a decent price if he'd held onto it
(, Tue 19 Dec 2023, 22:21, Reply)