It's official.

Jon Heyman ‏@JonHeymanCBS
choo goes to #reds. done deal.