Also, that refund is something that happened only in 2017; they paid over $1B in federal taxes in 2016, for example.