It's not a Honda thing, but physics. Tires need to be the same diameter. A 2WD vehicle can be off by a bit before causing potential issues, but as long as the front 2 and back 2 are close it's OK. Though this makes rotation in the recommended modified X impossible. 4WD vehicles can be damaged if they aren't matched closely.
Repair if possible, as the tire wear will be identical to the remaining 3 tires.
"As published in their vehicle owner's manual, "
rolling radius of all 4 tires must remain the same" or within 4/32-inch of each other in remaining tread depth.
While the cost of our street tire shaving service will range from $25 to $35 for each tire, it is significantly less than the cost of unnecessarily replacing the remaining two or three good tires with lots of mileage still available from them."
Wow, never heard of that, but makes cents (sense) !