Old wiki says that chance to dig out a troll is 1/500 at lvl1.
We've digged around 2000 tiles.
Its 98% chance to dig one already!

Odds to dig him out should be increasing with depth, right?(We decided to dig at lvl3)
Do they spawn only when you mine ore or mine unsupported?