There is quite a lot of disagreement but I think you are correct. My source appears to be bad AI generated content; I did not dig in too much.
The underlying source of 86.3 matches San Juan county from other sources. Seattle metro areas are a bit over 83, and King County is somewhere between 81-82 from sources that seem more primary.