Do you know KRL Library email address ? How can I reach them ? May be it is better to contact with EH.
Thank you Ron.