Stimulus checks returned to IRS

Hi,

 

I have a family member who has yet to receive any of the stimulus checks due to a change in address.  They were sent back to the IRS. 

Question is, when they file their taxes for 2020, should they file for the recovery rebate credit of the full amount?  This year I convinced them, when they file their taxes to set up direct deposit.  So they should receive a full credit of both amounts?