Should the Yankees retire Andy Pettitte's number?