A pun doesn't make a name not trademark infringement.
They seem to have renamed it to BenchUp. Not sure whether that would be sufficient.
It's not even a pun! The original name was barely a pun at all... this just the original name with any semblance of pun removed! Agh!
They seem to have renamed it to BenchUp. Not sure whether that would be sufficient.