 And that people, Americans mainly, about 80% that go there, I talked to several people, are Americans. And they were very thankful that we were there. And no longer do you have to go and take your dollar and change it into euros. You can if you want.