What hot end temperature sensor is used on the Cetus?

I am looking for (hopefully official) confirmation of the hot end temperature sensor type used on the Cetus line of printers ?

PT100 seems likely but what temperature coefficient ? 385 ?

Thanks.

im pretty sure its a pt100.

a pt100 is mentioned multiple times as the thermocouple for the cetus in that post. there are a few other useful things there related to thermals there