>>3814494
This is just my own opinion but when it come to stuff like puns I'm pretty okay with translators winging it because it's just some but most of them that are downright impossible to properly translate and keep the joke.