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.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"