Those are definitely not the ones.
They’re the same type of potmeter though, it’s a good picture to show the inner workings.
The pots in the Digi’s are from the Alpha RV142FPF series, which are threaded, 14mm, and have a button.
If you need replacements, just ask Elektron. The pots could very well be special ordered and the only way to be sure you have the right ones is to get them directly from Elektron.