 We had three pitchers go down with Tommy John, right? And at the end of the day, just as a circle back to something you had mentioned earlier when you complimented our team, under DeAngelo's family, they did not do anything but not take the money, but they were only about themselves, right? David Rubenstein, total 180 in ownership. And the only thing I'm getting at with that point is that Gunnar Henderson is about to get paid.