For cleaning, I'm looking for sweeping up dirt, mopping up liquid spills, light spill cleanup with rags/shop towels. Hose spray would probably not be too often.
Those two options above sound workable. I just didn't want to add a grit that would turn the floor into a sandpaper texture.