“We’ve had discussions,” general manager Ben Cherington said Saturday. “He knows there is a role waiting for him when the time is right for him.”

It would probably be one of those special assistant front office gigs rather than an actual major league coaching job, but it’s a nice gesture anyway and one that might warrant serious consideration from the 41-year-old right-hander at some point down the line.

Pedro had an incredible 2.52 ERA and 10.9 K/9 in seven seasons — over 1,300 innings — with Boston.