The CAFE achieved by a given fleet of vehicles in a given model year is the production-weighted harmonic mean fuel economy, expressed in miles per USgallon (mpg), of a manufacturer's fleet of current model year passenger cars or light trucks with a gross vehicle weight rating (GVWR) of 8,500 pounds (3,856 kg) or less (but also including medium-duty passenger vehicles, such as large sport-utility vehicles and passenger vans, with GVWR up to 10,000 pounds), produced for sale in the United States. The CAFE standards in a given model year define the CAFE levels that manufacturers' fleets are required to meet in that model year, specific levels depending on the characteristics and mix of vehicles produced by each manufacturer. If the average fuel economy of a manufacturer's annual fleet of vehicle production falls below the applicable requirement, the manufacturer must either apply sufficient CAFE credits (see below) to cover the shortfall or pay a penalty, currently $14 per 0.1 mpg under the standard, multiplied by the manufacturer's total production for the U.S. domestic market. Congress established both of these provisions explicitly in EPCA, as amended in 2007 by EISA. In addition, a Gas Guzzler Tax is levied on individual passenger car models (but not trucks, vans, minivans, or SUVs) that get less than .