4K camera recommendations?

Yeah so you will want to stay away from the 4K cameras on the ideal 1/1.2" sensor as they do not see infrared except for the PTZs and some higher end cameras.

And those holiday lights wreak havoc on the exposure! The newer camera will be better, but it will still suffer a bit.

The 5442 (54IR) camera would be the one of choice, and as mentioned, add one either on the garage or another one.

They have two adapters that can allow you to run two cameras off one run. I use both of these.

This is the go to splitter:

https://www.amazon.com/Loryta-Extender-Repeater-Ethernet-Splitter/dp/B07RQ569MF?ref_=ast_sto_dp

But this one can work as well:

 
As an Amazon Associate IPCamTalk earns from qualifying purchases.
Gotcha
So yeah IR which will be fine. That doesnt even look to have IR running?
The Christmas lights will be problematic regardless, I have similar issues for 3-4 weeks. So the 5442 S3 3.6mm is right
Honestly the camera should be lowered by a foot to allow the IR to work better and to improve your overall view