Yes, I saw a stat that said the average one costs $10,000.