Actually; are any ASICs shipping in consumer grade numbers? I kind of get the feeling there is about 4 in existence.