@teoformartel no worries I had recently just found those files after tidying up my nas, hence the quick reply.
The assumption earlier was the the T3 and T4 may use similar codes hence the op original questions.
So my raw files codes should be convertible. Quick Google I found this GitHub post.
https://github.com/crankyoldgit/IRremoteESP8266/discussions/1845
Not tried it, but if this works, I'd compare one known code and hopefully you'll get the result you need.
That said I did a bit of searching and also found this.
https://manhattan-tv.com/support/manhattan-t4r/your-t4r-remote/pair-your-t4r-and-remote-to-prevent-interference-with-other-manhattan-devices
So the plus is the codes are good if using the universal channel 0 or channel 1.. on the Manhattan but if that got changed then I guess that's when the 'fun' starts.
I wish you luck, if anything from the t3 is useful happy to look further.