There are more WINXP-*-pc3000 images now.

www/doc/pc3000.html

@@ -48,7 +48,7 @@ the "console" command or remotely via the
 <a NAME="images"></a><h2>Images and Kernel Support</h2>
 <p>
 Currently, the Emulab standard FreeBSD (FBSD410-STD, FBSD54-STD),
-Linux (RHL90-STD, FC4-STD), and Windows (WINXP-SP1-pc3000, WINXP-SP2-pc3000)
+Linux (RHL90-STD, FC4-STD), and Windows (WINXP-UPDATE-pc3000, WINXP-SP{0,1,2}-pc3000)
 images will run on the new machines.
 </p><p>
 If you have built custom images based on our standard images before