Update:

> I guess that initial (i.e. pre-production) T4240 silicon has been available for at least as long.

Prices are now public:

Freescale:
T4240 1.67 GHz: 570 USD (1000 pcs. qty.)
T4160 1.67 GHz: 462 USD (1000 pcs. qty.)

Future Electronics:
T4240 1.67 GHz: 800 USD (single qty.)

DigiKey:
T4240 1.8 GHz: 833...866 USD (from 25 pcs. qty. to single qty.)

Avnet:
T4240 ??? GHz: 835...916 USD (from 50 pcs. qty. to single qty.)


Edit: updated prices

[ Edited by Andreas_Wolf 29.06.2014 - 23:29 ]