Heya,
Thanks for the tips. In the end, it proved to be easiest to scan the files in .tif format, then convert them using the wintopo freeware on wintopo.com.
The text needs to be retyped after scanning, but the rest of the drawing is usually fine. It saves a lot of time.