
I doubt it
I doubt admins would have patched, I know full well most customers will be behind a reseller responsible for telling them.
Since where I have worked we have been with 3 different resellers for Tetra CS3/Line 500/1000, none pass one patch messages.
Whilst on the subject I wonder if the older products will be checked, as the codes well over 30 years old.