what county of city has more than 9,505 households with a median household income greater than $94,880?
arlington