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 in my second thermistor to check that one as well, or did this provide you enough info?
Many thanks again!