Se me permitem mais uma opinião realmente gosto do p535 como referi anteriormente, e ainda por cima possui um processador muito mais rápido.
Faço outra sugestão, repara no HTC P3470. Quanto a mim está melhor que o HTC Touch (já trás incorporado o receptor de GPS e software TomTom). Para mim é de todos o mais bonito e é mais leve que o P535.
Quanto ao SO por experiência própria num Qtek 9100 o WM6 é consideravelmente mais rápido que o WM5.
É realmente pena ter um processador mais lento mas bastante fiável. Podes amenizar esta contrariedade fazendo um overclock ao processador colocando-o em velocidade variável 143Mhz a 272Mhz como eu fiz no meu 9100:
http://www.youtube.com/watch?v=SBmM8-ni1Tc
http://www.youtube.com/watch?v=kIM3cSnnziQ
Desta forma aumentas a velocidade quando precisas e reduzes o consumo quando é necessário.
Provavelmente também existe esta solução para o processador do ASUS, desconheço.
Cumprimentos.