Seems high to me, even if it were CA. I'd recommend getting a couple more quotes from different electricians. From an unfinished space to another should be a $500 job, it's something so easy I'd even do myself.
However, the HPWC is higher amperage, so maybe he's concerned about being able to put in proper breakers for it. For an older box it can be harder to get something that big. Worth considering if you actually need the speed of charging. If you go with a standard 14-50 L2 charger it'll likely be cheaper, and you'd still be able to fully charge from empty overnight.
The HPWC can charge at 48 amps with a 60 amp breaker. The 14-50 can charge at 32 amps with a 50 amp breaker (only needs 40 amp breaker here, but standard is to use 50). For your older box, it might be hard to source a 60 amp breaker.
A thread with comparisons of the two:
Quick question around the right choice here. To get a electrician to get the correct power from my box to the HPWC and install it, I gather it's around $400 give or take. Add another $550 for the HPWC unit and we are at about $950. Doing this charges at about 35 miles per hour. The second...
teslamotorsclub.com
Lastly, look to see if your utility has an sort of incentives for putting in electrical charging. Can really help on the pricing.