Hi Tony--I don't know what a .tef file is, but if you can use a midi file instead, go to the top of this page, to the "DigiTrad Lyrics Search" blue box on the right, and do a search for Reynardine. At the bottom of the lyrics is a "Click For Tune" that you can also right-click and save to your hard drive.
Hope this helps.
Lin