About washing my Toms?

So I have a pair of Toms (orange, in case you were wondering) that have some pretty tough dirt stains. I guess I go adventuring too much! Anyway, I put them in the washing machine on the hand-wash setting and they still have some stains ground in. Can I wash them on a higher setting, or should I just hand-wash them?