Could someone reencode the denoised version of robocop?

I'm not sure If I'm allowed to make requests buti found a really high quality version of robocop which i love in h245 and would love to see if the filesize can be reduced in AV1. If you could do this that'd be amazing, if not thats okay too.