Entiendo que habrás instalado el clockworkmod recovery, así que para cambiar de rom sólo tienes que copiarla en la tarjeta, entrar en el recovery, hacer los 3 wipes (data, cache y dalvik cache) y luego instalar la rom tal como pusiste la Revolution.
Respecto a la rom, a mi me gustan bastante las de mike, pero el solo modifica las stock, así que de momento está en la 4.0.2.
Yo probaría alguna en 4.0.3, yo llevo la AOKP y estoy bastante contento, aunque cuando lancen la stock y mike saque la suya probaré, aunque con la maguro estoy bastante contento.
Saludos!
Enviado desde mi Galaxy Nexus usando Tapatalk