That’s why it should be $4k. Everyone with an awd would consider it at that price. Tesla would make a killing.
I think you overestimate how many people care about it. I don’t. Plenty happy with my LR AWD - I’m not going to pay another $4k for a parlor trick ... because, unless you’re driving on a race track, that’s all it is. No practical application of any faster acceleration ...