Tube mic distortion: mic repair or AC power issue?