Respecto que no han salido al mercado, si que han salido ya, y es mas en España se pueden adquirir en DavidHardware aunque no los traen hasta los dias 13 al 17 de junio y en izarmicro están en el catálogo en opcion de consultar.

Los nuevos dual core se llaman Manchester y Toledo. Y hay 4 modelos:

Athlon 64 X2 4800+ Toledo
Athlon 64 X2 4600+ Manchester
Athlon 64 X2 4400+ Toledo
Athlon 64 X2 4200+ Manchester Box

Los Toledo se diferencian del Manchester en que los primeros tienen 1MB+1MB de cache L2 y los segundos 512KB+512KB.