I just hand wash the entire mask in the kitchen sink filled with warm soapy water. Use non-abrasive cloth and dish soaps.
Most gear can be washed either in washing machine or dish washer. You can even clean your marker in the dishwasher if you care to disassemble it enough. Use the high heat setting though, especially with firearms