Hernando county courthouse phone number. became County Administrator on May 14, 2019.