Yes! That does appear to be the case for EC_TEMP1 and VSOC MOS being the same sensor. I ramped up the fan directly above the sensor, and aside from a slightly different polling rate, they matched.
I'm not sure if your goal is to change the name of the temp, but if so, would you like me to plug...