They can raise cash by selling off the stock they have spent a decade buying back.

Absolutely. They've just put themselves in a pretty poor situation to do even that. Whoops.