this is also why cooking advice shifted from "don't wash mushrooms" to "wash mushrooms". If you're cooking your mushrooms properly you'll boil off all the water anyways, so it doesn't matter. It's only if you *don't* cook your mushrooms properly that washing mushrooms makes everything more watery than you'd like.
I don’t wash mushroom because that makes them slimy, making them much more annoying to cut (and also it takes more time than not doing it). I can take a little dirt!
I was an avid non-washer until experts like Kenji [1] started weighing in. You definitely have to hold off washing them until the last moment to avoid sliminess. Although I don't find the time added to be all that consequential in the grand scheme of things. Obviously you're correct that it'd be *more* time, however.