4/32, measured via penny apparently.
Although they just told me over the phone its the service center discretion. They did not measure my tires, they just put new ones on for some reason and that's enough for leasing to charge me the full $1k for new tires to replace ones with 11k miles on...