I can't help specifically with your question, though I do own a similar TV it's a smaller model and installed in my kitchen, so a less critical viewing display.
What I would say is simply to test both options and see which you prefer. If you can't tell any difference, or one is better than the other to your eyes then the technicality is moot really. You may even find that one is better for upscaling and the other better for deinterlacing, so that creates a futher choice as to your priorities.
Like the 12Hz bump.
"Don't believe everything you read on the internet". William Shakespeare 1615