My understanding is that this is mostly correct. Money held by the company probably isn't considered his and probably isn't taxed; money he pays himself certainly is (whether it goes to an account nominally in the US or not, and whether it is denominated in bitcoins or not). Obviously he should be talking to an accountant and/or tax attorney and making sure that's all straight.