20111019 gadgets-special: HP launches ProBook; EliteBook notebook