Had the car fixed already. *whew* But wow.... costly!

Is it really that expensive to have these replaced and repaired?! Haha. Hope to hear your thoughts.
Here were the replacements:
gasket
top cover of the radiator
upper hose
clamps
reservoir tank (of coolant)
overflow hose
plus labor - P1612.80
3L coolant - P1050
distilled water - P85
Working hours were until 5pm only, but we opted to just wait so we got the car after 2 hours...
Everything was about 9.6k!!!!
Everything's okay now. But I was just wondering if the repair was a rip-off?
As expected, in response to Tesla’s entry into the Philippines market, Ford will be bringing in the...
Tesla Philippines