Venstar T3900 with Z-Wave module

I have added a Venstar Explorer T3900 thermostat with a z-wave module to my Hubitat Elevation. It joined the z-wave network with no problems and HE reported the following fingerprint:
mfr:"0198", prod:"0003", deviceId:"0001", inClusters:"0x5E,0x86,0x72,0x5A,0x85,0x59,0x73,0x44,0x45,0x40,0x42,0x43,0x31,0x20"

While HE didn't automatically assign a driver, I am using the Generic Z-Wave Thermostat driver. Even though this thermostat is not listed in the Hubitat docs as a compatible thermostat, everything seems to be working fine.

Is there a procedure for verifying compatibility that I can do at home? If so, I am willing to try both for my own benefit and for the benefit of others that may be considering buying one.

Has someone else tried a similar Venstar thermostat with the z-wave module and can confirm how compatible it is with Hubitat Elevation?

Regards,
Greg