And we ended up talking to the guy. And he said that they're all originals some over 100 years old, which is just so crazy. And I was like, Well, I was kind of interested in buying one. I asked him what the average price of one is. And he said about $10,000. I was like, okay, I can't do that. But definitely something I want to keep in mind when I start to make more money in my adult life