@Schrotty45 did you find them?
(hopefully I can paste the link here at some point)
Have a look here, Global EEA they are
Go to XDA developers forum > Redmi K20 Pro / Xiaomi Mi 9T Pro > Guides, News & Discussion > Redmi K29 Pro [Android Q 9.8.29 l 10.4.4.0 l 9.9.6, ... by madsponge26