Hi John, the ZENmini should have a new serial number on it that reflects when it became an 'S' version the year that you had the upgrade done. So yes, that is the version that will determine your trade-in discount, not its older 'HDD' version from back in 2021.
If you contact your dealer, they...