Ho trovato un'offerta su ebay che non potevo rifiutare e a circa 25 euro ho preso tutto il gruppo specchietto+sensore+portasensore.
Il portasensore alla fine non è altro che un semplice anello aperto da una parte, anche se effettivamente mi sono reso conto anche io di quanto sia difficile reperirlo.