Yes, as Brianman noted, the single charger is limited to 40A, regardless of voltage*. Tesla uses 250Vx40A = 10kW for their numbers, but you only will see 10kW if you are at 250V. At 200V you will only see 8kW. On the flip side, if you happened to be able to connect to a 277V source, you would see 11kW. At home, I see about 246V, so my numbers there are very close to those quoted by Tesla but at public charging stations, I typically see about 195V-205V.
Brianman, yes, you can replace HPWC with J1772. A J1772 providing up to 40A (almost all tend to be limited at 30A), will appear identical to cars with single or dual chargers. One's that provide above 40A will allow cars with dual chargers to make use the the extra power available above 40A.
Peter
* limit of 20A at 120V