Source: https://money.stackexchange.com/questions/44388/non-resident-alienworking-full-time-on-f1-opt-new-car-sales-tax-deduction