Rivets, have you considered running a scan from a bootable CD or USB stick? All the major AV providers seem to make them - generally a free download. Look for something like "rescue disk". It might just ease your mind a little by eliminating the possibility of something nasty lurking.