I have the production BIOS. I have compared the filesizes of both those w1zzard has on his download site and one just captured in that thread to the production BIOS - they are different.

The tools that people are using to capture the BIOS with appear not to be capturing the full BIOS.