Does Pennsylvania need to lease 16,637 vehicles?