Thanks to Noam Rathaus for the tip: Microsoft has apparently updated the Pentium bug hot-fix for Windows NT 4.0 Service Pack 3, though it's not readily apparent what the changes are. Check it out on the Microsoft FTP site