Knowing PR as we do there is no doubt he would disclose repair. But to your point he will have a hour or so in repair and part would likely get price reduced regardless of how well repair is preformed. So best route may be simply to do as you suggest, sell it as is. Lord knows none of us need the practice repairing stuff just to sell.