Please check the date of this document. It is effective from June 2015. My car arrived HK in August ,2015 equipped with factory installed dual charger at the price of HK$11500. The document was correct.
Silverbird, in your case, there is no contention or inconsistency. Your second charger was installed at the factory (before the change) and at the time, the cost was HK$11,500. That means your car was imported into Hong Kong with the second charger, and accordingly, it was reported to Customs & Excise Department to include the HK$11,500.
What cyrushk seems to not be understanding (deliberately?) is that after the change, the second charger is added in Hong Kong, so all cars arriving in HK are single charger only. In fact, if the second charger cost is included in the Customs declaration, Customs would find it strange because the car only has a single charger
when it is imported. And it is within Tesla HK's power to add other options -- after all, many owners buy a center console afterwards, rubber mats, ChaDEMO adapter etc.
PS. BTW, Tesla can't arbitrarily add options into the car even if it is free. The Customs & Excise Department doesn't allow it and needs the declaration to be filled in exactly. To wit, when Tesla first started taking orders for the Model S in HK, they charged extra (HK$1,900?) for the trunk cover. Then, just before they started delivering cars, they decided to include the trunk cover for free. When the first few Model Ss were delivered in HK (with the trunk cover in the car but not showing on the invoice), Customs spotted the inconsistency and needed the paperwork refiled. All I'm saying is to emphasize the point: when the car comes in single charger, it needs to be declared to the Customs & Excise Department as single charger. What Tesla HK does afterwards is something else...