I just found out that our DVC resale is being sold by Non-US Citizens. I have been told that there is a 10% tax being collected from the seller but that it needs to be recorded under my SSN for the IRS to process the transaction. It all seems legit but I'm just a little leary and wondering if anyone else has experience with this and did it cause you any problems. Thanks in advance for the input.