Perhaps someone at Escape could help you with what paperwork is needed for import and for registration and titling. I assume a sales contract with stipulated US price is needed, but with a foreign title transfer is a little different that purchasing from the manufacturer since there is no title until it is registered. I suggest the purchaser check with their home DOT for what records they need.
Due to the pandemic, my life now exists of only 3 days, yesterday, today, and tomorrow. Everything else has been forgotten!