Thanks for your explanation in detail! I went to a tire shop that has the highest ratings on Google map nearby. They patched it. So I guess it should be fine. Your suggestion about getting a pair of used tire as replacement is very helpful. Will do it next time when the tire cannot be repaired...