Does anyone know what brand is the stock SSD? and how fast it performs? Is it true that TRIM is only supported on stock SSDs? I'm thinking about replacing it with a OCZ Vertex 3. Is it doable? How important is TRIM? I will be using windows most of the time.