Thx, figured it was near 10,000 by the looks of it.
Gov of WVa switched from Dem to Republican. Manchin should have too.