Even if it's just a couple of lottery tickets, you still get something for him and save the buyout on the option. There's a big 40 man roster crunch coming this offseason. The rotation looks like Peralta, Myers, Civale, Woodruff, and Rea/Ashby/Hall. Henderson, Crow, and Patrick are all Rule V eligible, and Misiorowski and Rodriguez will be in AAA.