I never wash mushrooms DD.They go slimy
I just wipe them with a piece of kitchen paper.
Cultivated mushrooms are grown in sterile growing compost so just need dusting off.I would peel freshly picked field mushrooms but it's years since I've picked any early morning.