Why do you assume the person selling the PCB is the one who designed and ordered its manufacture?

Olimex sells kits, kits made by others.

They don't know how much copper is in the MPS430F5438 because Texas Instruments made the MPS430F5438.