Does anyone have the carb sizes (venturi size in mm) for the 9.9 and 15 hp Johnson/Evinrude? I am looking at a 1980 9.9 that the owner said the previous owner said (?) that it had been modded to a 15 hp with the carb. I also understand that the exhaust tubes need to be changed for this mod -...