I have two questions:
1.) The minimum I got at local stores (in India) is a 6mm patch-plug. Do I need to drill/cut the injury to 6mm diameter using a carbide cutter or should it be less than 6mm to promote tight fitting of the plug-patch repair?
2.) I cannot find a rubber sealant cement online or at a local store nearby, which is used in the last step to seal the buffed/exposed rubber after installing the patch-plug repair. So, can I use something else like a very thin layer of high-temperature RTV gasket maker sealant or polymer-modified black bitumen paint, etc. instead? I also have a TPMS sensor installed, but I'm not sure if this RTV sealant will shred/crack into pieces in the future and clog the pressure sensor in the TPMS.