Sorry for the delay in responding to this.
Thank you so much for such a detailed answer @Opus 17 ! Also thanks to @Anonymous_.
I have one followup - besides form 3520, do you think there is any other relevant form I need to consider? (I looked up form 8938 and it says it does not apply to foreign real estate per this link : https://www.irs.gov/businesses/corporations/basic-questions-and-answers-on-form-8938 - so I'm assuming that is not needed).
Thanks again!
