I would only add gravel if the owner's manual calls for it. Otherwise, follow the manual. Pool sand should not be very dusty anyway. Half full with water sounds like a lot to me, but I don't suppose it would hurt. I prefer just adding sand slowly and gently. What's the rush?