Thank you for the link, aich69. We ended up concluding (to the best of our knowledge) that we couldn't use the smart card tech with the stock Windows Pro VPN. So, we looked around for another cost-effective solution, and ended up using an open-source VPN called OpenVPN. Not easy to get the smart cards working with that software either, but it was doable, and seems to meet our needs well enough.