They don't need to borrow money, they can spend well in excess of $10b ($13-15b) on buybacks before even thinking of raising debt.
