I thought Chris Petersen was the highest paid employee in the Great State of Washington. If not, lololol that’s so wazzu.