This is the top 10 leaderboard at the time of posting with all the repair points and associated pin points taken off:
1. RSFKrow...................11375 - 1                 = 11374
2. RabidJohn.................10856 - (162 + 150)  = 10544
3. Dantefess...................9385 - (223 + 150)    = 9012
4. Oddball-UK.................8065 - 7                   = 8058
5. RSFAngel....................6785 - 11                 = 6774
6. Omen_66....................6396 - 11                 = 6385
7. Cunningmunki.............6209 - 24                 = 6185
8. Pyrate_Yoster.............6018 - 31                  = 5987
9. Samzi........................5543 - 7                    = 5536
10. Tejota......................5537 - 6                    = 5531

Even without any repair points, everybody is still in the same position. It's also obvious that this is not a widespread issue. That's all I meant by saying it was insignificant.

I had around 70-75 repair points when I discovered the glitch, and I've probably earned about 25 'proper' points since reporting it. I was open and honest about reporting what I'd found and done, and I half expected being stripped of the Repair Pin. That's fine by me.

Imperial has asked for it to stop, and it already has as far as I'm concerned.

Mmm... vanilla!