It's beginning to look as if it may have been one of the two drivers that were updated when I went over to the desktop update service. So far the machine has been behaving itself, although of course with BSODs it can take a long time before you're reasonably sure you've got rid of them.