Had there been an official Porsche US price list that was handed out to customers?