Update: got a text this morning to expect a repair person between 1–5 pm *today*. Then, a few minutes later, a text from that repair person saying "unfortunately there was a parts/logistics issue and for this ticket the repair cannot be done."