OK! We have tabulated the names submitted and created a poll– this is a new one- created in Mid-February that combines some of your favorite suggestions with a few added by Chat GPT.  Will you choose the names created by humans or by AI?  Take the survey now and find out!