.pro whois registry down?

Anyone else noticing that the .pro TLD is failing for some things, and their WHOIS registry appears to be unavailable? I appear to be able to resolve, but whois times out, and we're getting reports that mail isn't going through for some folks with this TLD.