Are DDR3 sodimms manufactured by anybody anymore? I don’t think Crucial leaving the consumer market will matter here.