I too have always enjoyed the vin registry site. The pursuit of the actual production number has always fascinated me. It's like a fun mystery to try and solve.
I always thought that the actual production number was 8987? (6700 81s, 999 10,XXX/15,XXX, 1000 11,XXX/16,XXX, 171 17,XXX, 105 20,XXX, and the 12 or so RHD ones)