I put mason sand in the run and it was great for a while but now when it rains it stinks until it dries out. We use hydrated lime and work it into the soil so when it dries out it doesn't smell so bad. I am very interested in this topic because I have tried everything else except the gravel idea and they have all resulted in the same muddy smelly mess. I will try the gravel though...