@kbellah
You don't need to do any calculations. The amount in Box 1 is used. If you got it, it counts toward RMD.
