Elon Musk needs a name for his new digging machine – so he asked the internet. And we all know how much the internet likes naming things.

The Tesla CEO has a new venture called the Boring Company, which, rather than being a company about uninteresting things, is a tunnelling company aiming to help Los Angeles traffic by digging tunnels underneath the city.

Last week a tunnelling machine was spotted:

Probably aware of the boring puns inevitable with a name like the Boring Company, Musk asked Twitter what he should name his new toy:

And the suggestions started rolling in:

Obviously no internet naming competition would be complete without:

Don’t expect a variation on this theme to win, though:

But most importantly, it was a chance for Twitter to nerd out a bit:

Musk certainly dug himself a hole with that one.

• Boaty McBoatface: tyrants have crushed the people’s will