Are these things actually being shipped?
Yes, Avalon has shipped their first batch of ASICs. They have 2 more batches coming down the pike.
BFL has begun sprinkling baby ASICs. (Jalapeno = 5'ish Gh/s) Mostly to developers, some "media", and apparently some customers, but not sure. Not many have gone out, but they're claiming they'll ramp up production and start shipping more and larger units.