前言废话:本人车是gravel，因为前面在建铁路所以大车开的比较勤，然后我就被小石子给弄扎胎了
石子块头不大也就2mm，外胎内胎全给扎破了，本人因为骑车好几年都没有爆胎，所以对此没什么经验
请问在破洞不大的情况下，扎破的外胎需要连同内胎一块换了吗，是要补胎还是换胎（这俩我一次性全买了，避免下次再发生）