Ya, floss isn't likely to work
A huge diatom filter maybe, or a sand filter from a pool might do it -lol. No way I can remove it with a shovel, the rock work is too intricate. I might have to remove a bit at a time during water changes...
That is the sand I'll probably use.