Let G be a torsion-free soluble group of finite rank and F ane field. The group algebra FG is an Ore domain; let D denote its division ring of quotients. it Seems likely that D is always locally residually finite-dimensional ...