I don't know but you can visit the Washington's National Cathedral's website and send them an email with your question. Website might be slow.

They also list discography and music at these links:

http://www.cathedral.org/cathedral/music/index.shtml


http://www.cathedral.org/cathedral/music/discography.shtml