Not sure, but the leases on those 7 expire in July and August, and we're turning them in.
As mentioned, we have 91 in service now, although the 4 leased to Morning Star don't really count. Minus the 7 Valsans and 477FE, which is going to be retired after peak, and you get the listed 83.