Now that the 456 production run is over...does anyone know how many were produced? How many came to US? I know they have seriously depreciated but how...