Used to have a bitcoin buddy who was mining in Texas. Now he has disappeared as a result of being overdue on taxes.