The $7,500 is the consumer subsidy.

He is talking about the separate $5 billion corporate subsidy.