Any Stationed military member is automatically a resident. If he is "Retired" he has to be a resident X amount of time. If he buys it while active all he has to do is show his military ID and he's golden.
How hard is it to go get a Washington driver's license to present when he buys his stuff? He'll need it anyway if he's going to stay here.