Assuming this is brand name factory ammo, out of an abundance of caution I would not use the ammo for SD, but I would shoot it at the range.
I would lightly oil the metal parts of the magazine too.
A few years ago I took three types of 9mm ammo, one top line SD (I think it was Speer), a middle range, and a box of the cheapest 9mm that I used for range and plinking (Blazer aluminum-cased).
I divided each lot of ammo into three groups (10 rounds in each group IIRC), and then soaked them in 3 kinds of oil, including Kroil penetrating oil), for a week. They were completely submerged and rode around in the tool box of my pickup truck in Texas Sun for the week.
I wiped them off and fired them one at a time from my Kahr P9 and not a single round malfunctioned. I doubt water, even in the washing machine, is more penetrative than any of the oils I used.
I did get some blue smoke shooting them tho.
