Hot beverage machine repair and maintenance