A shout out to Brian K., for an excellent and timely repair.