De vuelta a los temas, he encontrado esto:
http://www.htcmania.com/showthread.php?t=379147
Es para la Galaxy Nexus, y dice que "aokp a partir de la build 35". Servirá para nuestros teléfonos?
Bueno, ahí hay 4 temas, entre los cuales el Sense 4. Ya miraré si funcionan todos.
Seguiré mirando por los foros, y me pasaré por xda a ver si hay más cosas. Si no hay problema, lo iré poniendo en este foro.