3. We went downstairs to have breakfast while they worked (they have a nice little breakfast buffet that isn't too expensive; the restaurant was reasonably priced, unlike many hotels), and the repairman came down when he was done and brought us a ticket for complimentary breakfasts for our trouble.