Choosing a phone as a secondary camera and timelapse machine

[Amazeballs]

I've decided to buy a new phone and also get a gimbal for it. Primary I want to shoot timelapses using HDR exposre blending for superior dinamic range. I'm going to shoot it with gimbal to add movement and also put gimbal on a motorized dolly once in a while (I have a very compact Yelangu L4 for that). The idea of a whole setup is to be compact, portable, easy to have on me most of the time. So, the question right now is which phone to choose. My budget is up to 500$ and mostly I am set to get either Xiaomi Mi9 or Redmi K20 which has the same main camera module - Sony IMX586 with 48mpx and able to shoot as 12mpx via binning. Mi9 has 4k60 vs 4k30 on K20. I dont know if I need 4k60 on that phone to tell the thruth. My main camera is GH5 for now and I have gimbal for it as well and 4k60 when I need it. Though I hate shooting timelapses on it with gimbal - too much hastle and also makes my main camera unaccessible for some time. Wounder what phone would everyone recommend to me.