Regarding TCR and what temperature the cup is actually at, I have this, from uitpersen:
Measured with a Fluke 52-2 temp meter and two different k type thermocouples.
Standard wire style thermocouple and a fluke surface probe.
My Terpometer measures round 30° hotter.
-TCR 180, 38w, 410°f, .46...