Yes, I finally figured out that there were two files and that the small file named update.package was accepted by the car system. I wasn't sure whether I had done the right thing, however, because some people say you're supposed to see album cover art, which I have not seen. I thought the 256 MB file might have the cover art, but I can't figure out how to get it into the car.