The lossless master was mostly in case he couldn’t get the existing video streams working. But he did.
I’m not sure if he really even has much room to spare. But if he does go about reencoding, we might also want to discuss encoding settings as Harmy’s were already well optimized. Wouldn’t want him encoding h264 with adobe and unintentionally downgrading the video quality or something. It also introduces new chances for errors to slip in.