In the total external disk storage system market , revenue increased 1.5 percent year over year in the third quarter , to $ 3.2 billion .