Somehow we have not yet visualized this, so it was a bit surprising! That "stalactite" is infinitely long, and also infinitely wide -- we cannot go around it.
The floor is a hyperbolic plane embedded in Solv geometry (as the set of points with x=0), while the roof is equidistant to it.