How much money will Tesla make on its semi truck business? What will the average selling price be? What will the gross margin be? What are the end results in revenue and profits for Tesla?