Yeah its frustrating when we don't get official names, but on the other hand sometimes they name a character Hilbert, so swings and roundabouts really.
I can see why they named him that considering the name means great battle or something in German or some other European language, but it's still not a great name.
Well darn! What did a person named Hilbert ever do to you?
Hilbert is a real name, more so than Blue or Leaf or Green, and more "mainstream" than Red unless you live in the American Deep South and happen to have an old-fashioned name (which I doubt most people would even know to consider, regardless of where they live).
And I like Hilbert as Hilbert.