Yes, I would assume that the RMD is included in the monthly checks she is receiving. The only way to be sure is to check with the plan administrator that the monthly check includes the RMD.
