Kind of cool to hear... I had a couple computers running miners at home towards the end of my second marriage (which ended in 2010-2011), and after I had a few coins when realizing I couldn't actually spend them (IIRC $0.25 at the time), I just deleted the wallets. I had no foresight or faith that they'd be worth around $100k each in 15 years. I'm curious how many did the same, how many coins out there were just deleted altogether.
i distinctly remember a coworker many years ago offering to just give me like 10 bitcoin to see them and how it worked. i said "no, thanks". granted, hindsight is 20/20