Betta Fish: What should we name our new baby?

We picked this gorgeous crowntail up from my favorite local shop today 🙂 he seems to be mostly orange with some white scales throughout.

I like 'inconvenient' government names with realistic nicknames.
For example: my current mustard gas's name is Ticonderoga, or Tike for short.
Our late koi plakats name was Plutonium, or Pluto for short.

So far, the only names we've sort of liked are:
Crush (like the soda, that one's normal but cute!)
Traffic cone- traf(FICCO)ne
Lorax- lo(RAX) or lor(AX)

Hopefully the layout of the nicknames makes sense.
What suggestions do you have? 👀🧡