Hi, one time that happened to me, but they had a complain box and they return my money. I recommend you to use your credit card it's cheaper than tokens, with tokens I used to pay around $11, and I started using the credit card and I pay around 8 to 10.
There should be a sign somewhere by the change machines or where you deposit the coins to start the wash. Good luck.
Thanks! Your answer is awaiting moderation.