I'd replace your paste with something decent like MX4. Asus did a nice hash job on mine.
Btw, I cannot for the life of me find that unlocked BIOS - but it was easy to do. Just grab a copy of AMIBCP (http://www.bios-mods...i-Modding-Tools) and you can load your BIOS image into it and unlock what you need. I sat there for 20 mins and did the lot. Use at your own risk though.
Are you going to share your 10.9.2 files with the rest of that class?