@32bitkid This is FASCINATING! Thank you for checking! I also can't take too much credit for the 85% thing, since all I did was divide the two numbers in the post I replied to... :) I really appreciate you looking at this. Seeing how they squeeze out what seems to us to be small changes (can you imagine a modern gamedev doing huffman to save that little?!) is just wonderful.
I love seeing evidence of people really honing and using a craft like this.