Did HP get a sweetheart deal, too?