I don't know anything about the specific dealer, but the planned production numbers would give an average of about 60-70 cars per dealer per year. So if West Palm Beach gets a slightly more than average allocation, that estimate sounds entirely realistic.