ESR 4K supply temperature started raising steadily, went up to 19K, they seemed to have caught the problem before we got in touch with them to find out what was going on. The temp has come back down to nominal (not shown in screenshot). Not too big an issue, since the buffer dewar is full at 75.3%
Figure 1