That looks about right. There are probably dozens or hundreds of species of them. I doubt we get the bigger ones often in tanks.
Look up vermetid snails, common in marine tanks, but in the wild there are species whose tubes get up to an inch or more in diameter, in tanks they're rarely more than maybe 5mm.