Yep, this would have been the most likely scenario: coins lost on a faulty hdd ("no worries, it's worth nothing anyway") or sold early ...