Rocio, an RA and student at FAU, and her father, Nairo, a Columbian citizen, who does not reside in the US, jointly own a townhouse in Boca, where Rocio lived while going to FAU, but Nairo paid $100,000 for it. The townhouse is being sold for $150,000. Dot, a US citizen, is buying the townhouse as rental property. Is Dot required to withhold any amount?