#3 sounds like a desperate measure but might be doable if all else fails.
I'd recommend smaller tires. I'm happy with 32C tires but most of my bikes won't take larger.
Try one of your existing tires on a bare rim of the type you're considering and compare with the tire still on the stock wheel. Measure carefully to see if there's any significance difference. I'd wager not.