The Tesla customers who were charged twice for their EVs did get their money back, eventually.