Chris Nicholson-Sauls wrote: > Actually I think "Rudy" is a cute name for it. Although it might lead > to "Rudolph" jokes... so be it. We'll just make its mascot a reindeer > and be done with it. "Rudy" is perfect.