 We have had an election since then. Mike Randolph, your co-commissioner, announcing his retirement from the position. He'll step down coming up this January. Primary held in the Republican Party. Steve Westphal winning that, the current member of the House of Delegates. No Democrat filed the run this year. So by everything it looks like, Mr. Westphal will be taking Mike Randolph's seat coming up this January.