I agree. I mined bitcoins for a few months early on (2010). I ended up with about 100 of them. I didn't transfer the wallet when I reformatted the drive a year later because I had completely forgotten about BTC.
My loss isn't $10,000, because there's no way I would have held on this long. Realistically, I probably would have sold them once they were 5 USD / BTC.