I don’t think you are crazy for leaning towards the 8x. I’ve been using a 10x Zeiss BRF for the last 8 years and there have been many times , when I was scanning at 250 and in, I wish had an 8x for improved FOV.
I’m considering the same Leica BRF to add to my kit.
