depende del uso que le quieras dar, las gb son rapidas, estables, con mucha ram libre, y muy buenas para jugar sin lag, las ICS son mejor esteticamente, y funcionan mas programas que en gb, pero con peor rendimiento. Si me preguntaras entre GB y JB lo dudaria, pero entre GB e ICS, para mi GB es mejor. El ICS se degrada con el uso diario, sin mas.
si eres capaz, en el "Neo V" han sacado una GB con el estilo de JB muy buena,
http://www.htcmania.com/showthread.php?t=604572
echale un vistazo, es de las mejores que he probado en el Neo, seguro que en el Mini Pro, se puede hacer una parecida, y vale la pena realmente.
Salu2