Livres forums construction

je possède un lave vaisselle atoll de vedette. Je dois apparemment changer le programmateur. Chez le réparateur on me dit qu'il existe plusieurs références atoll et chez mon revendeur, lui me dit que non. Qui croire car le prix du programmateur varie du simple au double.. Quelqu'un peut-il me renseigner? Merci