Hola,colega
Es cambiar el sensor este no es nada complicado.Yo ha combiado a varios i lo ha echo sin quitar el colector.
Es sacar el pasador...sacar el sensor y la junta torica...poner el nuevo con nueva junta,apresionarlo para bajo para poder meter el pasador de nuevo y ya esta.
Lo que si que es importante el nuevo que sea del mismo color que el viejo.Van de varios colores.Por eso yo que tu lo compraria de la casa.
y cambiar la junta torica tambien