I’m pleased to find another good FTP search engine for filename searches, Mamont. The best of the bunch on Biskbard’s survey.