I let him bat too. If I'm an NL manager, I work with my starting pitchers' offense a lot more to make sure that they can at least get the bunt down and put the ball in play when needed. I don't need them to be .300 hitters, but they need to be helping the cause as best they can with the bat and not be an automatic out. But yeah, I'd let him bat unless I didn't think he had anything left.