Plus he hasn't pitched since the 6th and only twice this month.
He was gonna pitch regardless either tonight or tomorrow night. If we don't need him tomorrow, then him throwing tonight isn't a big deal.
At the same time, I'm like Sys, it does suck to use him in a 5-1 game when there was plenty of "don't overuse the Pen" talk by fans/media last night.