Thanks for the clarifications, Tom. But I'm still a little confused as to how I actually install a third party certificate for the IP-HTTPS listener. Where/how do I create the CSR to send to the commercial provider and where do I import the certificate? Do I use IIS7 or the Certificates console? I've done it on a Windows server for a website or Exchange, but I don't see any info on the specific procedure in this case.
And finally, if I'm using a commercial certificate for IP-HTTPS, does the CRL distribution point for the private PKI need to be available on a public web site at all? (I thought using a commercial certificate mitigated the need for a highly available CRL). Or is the reason a highly available CRL is not needed for the private PKI because of the "soft" check?
Sorry if I'm asking stupid questions. I'm just trying to wrap my head around everything.