rmac, I'm sorry. I should have used the word "immigration" where I said "customs".
It's easy to lump customs and immigration together under one common heading, but they are different and since the EU deals with customs and "Schengen" with immigration, and countries can be a subscriber to either of those, the difference is relevant for us.