The total investment in the stock across those nine holding companies, hedge funds, and family offices is worth about $8.5 billion as of this writing. And that's after a major pullback in the stock ...