So the price was $7250 plus premium?