Thanks for chasing down the details! I knew about the split and vaguely remembered that one of them had bought Trader Joe's a while ago.