Should Microsoft buy a stake in Dell?