If the Astros choose to pick up the player option, they will have to pay him $9,000,000, otherwise the club option is to pay him $1,000,000 and he becomes a free agent.