I wonder how that works with UK-registered car going to an EU country? Does the UK green card cover the car for any driver?