Yes and it was a massive manual effort. In a way they acknowledged that keying does not really work all the way and having that unnatural color everywhere in the set is not worth it. It’s a massive production with heavy VFX work so not something you can apply to your own production. Sand screen and roto sections of this discussion are interesting.
https://youtu.be/UARrOsNPviA