Yes, if he received it while living in VA then yes he needs to pay Virginia State Taxes on it. There is a subtraction available for taxes paid on the contributions to another state, but since you lived in Texas he would not have paid state taxes on it.