There is a federal tax withholding requirement on the sale of U.S. real estate by non-U.S. persons. This doesn't exempt the vendor from filing a U.S. tax return