Walter Bright wrote: > 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. "Rubidium" was another one that comes to mind.