The car was indeed purchased AS IS, in Pierce county.
This all unfolded yesterday, and I suggested he first do research and learn of his rights, if any. So I don't believe he has reached out to them as of yet.