If you go back to that post the cars were repaired and sent on to dealers.
They were repaired at the auction yard because they had the facilities to do the work.
I have heard 708 on the fast SILVER model was final build.
That leaves 5692 of the common models.
http://www.youtube.com/watch?v=Tm-KBlfEVJ0