time to restring the mandolin.