re: #870 J.D.
RW is off to the doc. He’ll be back later.