Hi,
Did you figure it out after all? I was wondering about infinity focus when capturing stars. I seem to have a hard time manually focusing on the stars afar, even in manual (with 10x digital zoom). I have my assist set to peak in red, but I`m never sur if I need to highlight the outter edge or smack in the middle.
Cheers!