The repair was carried out promptly and efficiently. However, the prices for spare parts are sky-high, I realized this after a couple of days. (having looked, for the sake of interest, at the price of the same spare part in another store, where prices are also too high)