if it’s for a spare I wouldn’t have worried assuming it was well discounted to start. Or If really worried plug and repatch. Technically it may not be the right thing to do but Growing up in rural area on gravel roads I saw repairs like this all the time and they just got patched and move on and honestly don’t recall ever having catastrophic failures after the fact.