I followed some of those instructions and the Teredo thing is just gone from device manager altogether, and the crashes are still happening. Not really sure what happened there.
Also, I wasn't quite sure what to run with Seatools, but I clicked through the scans that were compatible with the hard drive and it passed them.