What do you think the Rockies should do with pitcher Jeff Hoffman?