I have a "no boo" rule but he may fall into the Wander Suero category where it is the only sane reaction to hearing his name.
Generations of Washington baseball fans were taught never to boo one of the Nats, no matter how they bungled and blundered. Not even Herb Plews during his error-streak. Dad taught me just to keep quiet or maybe groan, so I groan every time anyone mentions Robles. Remember that Robles' "magical" 2019 season was less than Adam Eaton's.
Does any other MLB team want Robles enough to offer a few bags of stale airline peanuts? Rizzo could not "flip" Robles at the trade deadline in 2021 and 2022. Is there a chance this year?