What caused the belt to break in the first place . Serpentine belt dont tend to break without help. You mentioned adding coolant , was the car heating up before the belt broke or not until after . Check the water pump pulley also check the idlers to make sure there's no bad bearings . The mechanic didn't likely cause the problem but he didn't see the one that was staring him in the face. Hope this helps