In a post titled, "This fall’s big decision: what to name the world’s largest-diameter tunneling machine," the state's highway department says it's running a contest for kids to name the thing. Our Slog tipper writes, "HAHAHHAHAHA I had no idea this was fall's big decision... I am so relieved."

Help the highway department out making fall's big decision, would ya.

What should they name it?