Se le specifiche tecniche non riportano nulla, va a fortuna: 4200 o (meno probabile) 5400. Dipende da che cosa hanno a magazzino gli assemblatori in quel momento. La risposta mi fu data dal call center Acer 2 mesi fa in merito ai modelli di punta di allora (serie TM8000), pertanto penso sia facilmente estendibile al modello che ti interessa.
Quindi non farti ingannare se, leggendo qualche recensione internazionale, trovi il disco da 5400rpm: si tratta solo di eventi fortunati...
Edo