hrm.. weird..

Not at all. The animated logo is stored in flash along with the kernel. You should be able to find the playback code somewhere in there -- unless it's earlier in the boot sequence -- I don't recall.

Thus, the logos are most likely included in the stock .upgrade file. Don't see why you can't have a Rio logo on the mk1. Except that we may not have bothered including it in a car1 upgrade file, of course.