As EEVL Manager Roddy MacLeod has helpfully pointed out to me, the EEVL catalogue has passed its 10,000th record. EEVL is now the Internet Guide to Engineering; it used to be the Edinburgh Engineering Virtual Library. It has always been a terrific source for resources in engineering, mathematics and computing.