Dato che costava 15 euro finito, l'ho preso e l'ho cambiato. Dopo averlo girato con la chiave (servono sia la 19 che la 20, dato che non c'è spazio per girarle) c'ho messo 4 decimi a sganciare il connettore, che ho ripulito con un fazzoletto di carta, e quindi ho cambiato il sensore.
La macchina...