Question about tax implications... Do our transactions get reported to the IRS when we buy and then, hopefully down the road, exchange back into USD?