この子に どんな名前をつけましょうか？

私の家では機関車を愛称で呼ぶことにしています。
ちなみにクラウスStarter Set は「クラウス」、ＮＣ Starter Set にはカナダに因んで「メープル」と名付けました。
今回の凸電も、何時までも凸電、凸電では芸が無いので、何か良い名前は無いものかと思案中です。今候補に挙がっているのは、
★ 「ミッキー」、昔飼っていたセパードの名前。子供達がまだ小さいとき良き遊び相手でした。
★ 「スヌーピー」、家の娘が大好きだったキャラクターで、その影響か？ 私も大好きです。
★ 「オンデコ」、正式には「御凸様」といいます。唯一、凸電の形からの着想です。ただ一般にはオンデコといえば佐渡の鬼太鼓を連想するかも知れません。
★ 「ブロッケン」、確かドイツの妖怪の出る山の名前です。日本では「ブロッケン現象」として登山家には知られています。私の知っている数少ないドイツ語(？)の１つです。

皆さん如何でしょうか？　忌憚の無いご意見をお待ちしています。
ただ、あくまでも任命権者はこの私ですから、誰がなんと言おうとも自分の責任で決めるでしょう。