Oh you are so clever! There were, indeed, extra options in the Bluetooth settings for the car connection. Have to say that the page in question didn't stay around for very long, but on the third attempt I caught the page at just the right moment, set the Contacts option and all the contacts...