pgp keyservers

[Randy Bush]

are there any old keyservers still working?  or only the new hipster
ones?  i tried three and no love

    hkps://pgp.mit.edu
    hkps://pgp.uni-mainz.de
    hkps://hkps.pool.sks-keyservers

randy