Thanks - that does export an STL file. To solve my problem I had to manually scale using the universal gizmo prior to completing the import. I don't know which axis it technically is since there doesn't seem to be a manual (numerical input) scale control. Now to figure out the rest of it...
Thanks!
Tom