Refriderator stop working

Refrigerator & Freezer Repair
,
5

Is this the right replacement thermostat I should buy?

GE WR9X521 Control, Temp - AppliancePartsPros.com

My GE Profile model number is TFX25PRYFWW

I can find the defrost timer, but not sure about the thermostat.

Thanks again,

yuan