you can order a San Diego/90nm FX-55 right now
can't really count the 4200+ and FX-57 since they won't be out until (projected) 3rd quarter of this year...4200+ will be similar to the current 4000+ in that it will be a multi locked chip based on the previous FX iteration (4000+ is a multi locked FX-53) so in the case of the 4200+ it will be a multi locked FX-55 when the FX-57's come out since there will only ever be one "FX" chip in production at any given time
I don't follow all the threads here (not enough time in a day) but as far as I know there's only one person still denying the existance of a 90nm FX-55...
This shows adafx55BNbox and adafx55daa5BN (oem), ETA 4/18...BN is San Diego...you can also order adafx55asbox off the same site which is a ClawHammer FX-55