A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters