 There's no indication that they're anywhere close to doing anything. I think no question push has come to shove, and they need to look to see if they can trade Mike Trout. But the other end of that is he's, I think, such damaged goods because of all his injuries the last few years that...