Update: some 4 hours after the repair, the fridge was getting warmer, not colder. I called the tech and he stopped by and checked it out. He discovered that the evaporator coil was frozen at the bottom and along one side.
So he used a steam cleaner and got the ice off and put everything back...