Yes, if box 13 has an entry then the tax withheld is expected to be in box 12.
Solved in comments.
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**
