Surely it has to be “Boulder McBoulderface”?

[0]: https://www.bbc.co.uk/news/uk-36225652

I was going to suggest just this! I love Boaty McBoatface.

But as a resident of the Chicago area, I’m partial to Da Rock

Can have the best of both worlds.

Da Rocky McRockface

Rocky McRockface is the perfect name and gets my vote.

Came here with that same name in mind. It would be a stone cold crime if that wasn't picked.

Missed opportunity to call it "Rocky Bouldoa"

I wonder if there'll be an episode of Hello Internet on it.

I think this is the only valid name