Hi folks. I unfortunately got a flat yesterday. A piece of metal got stuck near the sidewall and it couldn't be patched. Tire shop replaced the tire with another OEM Michelin mxm4. They said I should be fine with the one, but recommended I come back in a couple thousand miles to replace one more, to have a pair. My three remaining tires are at 5/32. I believe the starting tread depth was 8/32 with the mxm4s, so it's a difference of 3/32s. I've read that's borderline in terms of replacing one tire. I'm wondering if I should go with another new tire, to have a pair now (which is what I've done in the past with flats, change in twos) or if I should take their advice and just wait? Part of me is also wondering I should just replace all 4 now, given they're at 5/32. Any thoughts? I'd appreciate some feedback. Thanks in advance!