You're right Tony,
And I read that section aty least twice before I post *AND* I searched the FAQ for Waving Tux (with no luck).

That last sentence in the FAQ explains it - perhaps we should make a reference to Waving Tux in that sentence as thats what most people change the official boot logo to if they change it at all, that way it would show up in FAQ searches related to waving tux.

I think its good that some of the newer folks here realise that they don't have to live with the Rio animation on start up and can easily change it to the reallly, really cool Waving Tux animation in about 15 seconds.