Yeah, it's a tough exercise. Because even a guy like Cease, if you can't sign him to an extension, you might as well make available. Also, don't really know if minor leaguers count. I'm looking at it like the current roster if everyone were healthy.
One of the default 5 is Robert for me just based on having him 4 more years and selling now would be at a low point.