So he still owes austin 1BTC?
If he's not careful that could be worth quite a lot of money in a few years.