Bitmain site shows a December batch, but it is not in stock. Does anyone know when they will be up for sale?