Phone call from Bruce in the US: MiniMed was sold !