Correct you are. It’s their own tax money either way, though, isn’t it?
It sure is, and good on them. It’s just not “EU tax money” they pay.