I'm not telling you to install a consumer product 13.1. It was a mistake and I amended the version number after I realized that you had Endpoint installed and not a consumer product.
The version of drivers doesn't tell anything about what version of products it's used with. You wrote that you had Endpoint v7.2 installed on some machines and the troublesome version of driver was included in it so I don't see any issue with the driver not updating during upgrade.