So I bought an 8086k new back in October of last year. Has served me greatly with my rig so far. Here is my dilemma though. I am about to purchase parts for a custom hardline water cooling loop, and before I make that commitment I wanted to know if I should sell my 8086k in favor of a 9700k. I ask this for 2 reasons. First, the recent vulnerabilities around hyperthreading make me wonder if switching to a 9700k will matter, and second, I have a z390 mobo so getting the latest gen is viable and resale on 8086ks seems stable around $390 so I would lose an arbitrary amount of money.