 Well, that was a couple of years ago, and he had to be thinking, surely this isn't as close as I'm going to get. And now he's realizing his dream today as a big leaguer. He was traded here in 2023. That'll be fouled off. Go back to August of last year. He and Garrett Cooper were traded to the Padres in exchange for Ryan Weathers. So he had made it up to the big leagues, but had not gotten into a ball game yet.