From what I understand, the luxury tax does not apply if the vehicle has been previously registered (i.e., licensed) in any province, even if the price of the car exceeds $100K. So a $137K used Model S will not attract the luxury tax if it has been previously registered, regardless of any trade...