The repairman arrived promptly, during the time that we were told he would be there. He said that it would take about five minutes. I did not time him and expected it to be more like fifteen to thirty and was very surprised when he rang the bell about five minutes later.
He took us out to make sure that we were satisfied and said that there was always the possibility that there might be a problem with the repair but they were very unusual.
Thank you for the great service.