Yes 3.5mm, I recently posted about some chainsaw fuel tubing I found online that works great for overflow tubes. As for your pins, You say gummed up, if that’s the case, I would just clean them as best as possible and reuse. One trick to getting those things super smooth is to carefully put them in the chock of a drill and spin them fast in a piece of steel wool. They will come out very shiny and smooth. If you bent them up and gouged them a little, you could straighten them out on a vice first and then do the same technique except with a piece of high grit sandpaper first, then move to steel wool.