Question: On 8/11/22, Michael, a Miami tax attorney who has been seeking a new personal residence for himself and his family, buys a Miami house from Carlos Perez, an NRA who is a citizen of and a resident of Panama. Carlos bought the house in 2017 and used it for several months a year when he visited the United States. Carlos has a basis in the house of $500,000 and Carlos sells the house to Michael for $950,000. Michael will be required to withhold and send to the IRS US income tax of how much?