It's a pity you didn't take your Megalithic Ruler - to show that carved hole in the boulder has a diameter of 2 Megalithic Inches (which is almost one and threequarters of our Imperial inches).