Does anybody know which temperature sensor (part number) is recommended for the Holley Sniper? I saw on YouTube it’s a tx3 but I want to make sure if there is a specific part number for it