.
The price of the hardware for the standard car charger is $1100.
Installation depends on how far from the branch panel it has to be run. The permit is usually $1500 or more. $4000 is about average for the total.
.
What state are you in? I've never heard of a four-digit permit cost. Can you provide a link or any evidence to back this "$1500 or more" figure up?
It seems like you are trying hard to use worst case numbers. The link I provided (here it is again) had prices for various garage chargers all of which are between $450 and $1,000 (none of them are $1,100). As far as installation, if your house was built in the last 30 years then it should only cost around $200.