Has anyone used a 'redi' sensor as a replacement when needing new sensors?