What an inspiring story! As you mentioned that they retired means they sold their BTC in the bill run and retired with a lot of Fiat. May be still having a few under their belt. They certainly did t retire with Bitcoins still in their wallets.