Really? I didn't know that

. My apologies! I had (wrongly) assumed that Gibraltar had the same legal status as places like the Channel Islands, which, although owned by the UK, are not in the EU.
Looks like Bookeen don't know that Gib's in the EU either