It is a pity that BFL did not keep any records of when their products were manufactured and shipped.  Does that mean that the world will never know how much bitcoin could have been mined with the customers' prepaid machines, if someone hypothetically had the idea, the opportunity, and the determination to do so?