Anybody now the part number for the generic Bosch EGO sensor of the top of your head? Or what they call it at a Shucks or performance house? Thanks, Charlie Springer