Betta Fish: First betta fish! What should I name this guy?

So excited to be able to post my own! He’s a speedy little guy! Names I’m considering rn are squirtle, Westley (aka dread pirate Roberts), Jules (reference to Fourth of July), and Gus. Would love any suggestions!