Not sure if he still has options.... wouldn't be surprised if he's out. The guy is 30... he probably is who he is at this point... which is maxing out as a 5th-6th inning bullpen guy at best.
It would be a tough call but the fact that we have guys like Feliz and Musgrove if needed I think makes him expendable at this point