Thanks koogar.

I should have been more attentive. I was looking for a "pde" file extension since I could not read a rar file.

I have now downloaded a utility to unzip rar files and discovered the "missing" file.

Thanks again.