En la lista que hay en la wikipedia aparecen esos dos modelos, 9500 y 9600, como lanzados el 17 de noviembre.

Parece que son los quad-core más bajos de gama, y los lanzamientos potentes e interesantes en calidad/precio serán los tricore y los dual core, que son los que tendremos ya en 2008.

Gracias a ambos, actualizo la entrada ;)