How hot should a tube mic get?