What hot end temperature sensor is used on the Cetus?

Cetus Cetus 1st Gen MK1-MK3
1

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.

2

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