 And there had been a headline a few weeks ago, is John Deere the new Bud Light? And it's a different product, obviously. It's easier to switch beers than it is thousands of dollars, hundreds of thousands of dollars of piece of equipment. But then I just saw, after I talked about John Deere in the first hour on that, that a headline came through that they are slashing 600 jobs. And my understanding is they're sending some manufacturing to Mexico, right?