Hello Ian,
Yes, you can easily get a list of songs in a file by printing to a PDF printer device. I just tried this myself and it works fine.
I recommend you download 'CutePDF' - it's free and works well.
http://www.cutepdf.com/Products/CutePDF/writer.asp
Just visit the above website, click on the 'Free download' link and then install it, following the instructions. Then, from within the ZionWorx print options click the 'Setup' button and select 'CutePDF Writer' as your printer. You'll be prompted to enter a file name for the PDF file. When it's done you can open the file and then copy/paste whatever text you need wherever you want.
Hope that helps!
Christian.