It’s quite likely if Ben saw it sometime between about 1990 and 2005, on the BBC (which again, is quite likely - the BBC, whilst slightly late to the party, did end up showing a number of anime classics in that period, many of them at least a bit censored), that it was censored. The same would apply to virtually any action movie on the BBC too, up to the end of the same period. I dunno if it’s precisely 2005 but some time in the 2000s it seems like the BBC finally got tired of being relentlessly mocked for stuff like the infamous “melon farmer” censorship in Robocop and the like and started showing uncensored versions and just showing them later if necessary (which it generally wasn’t - the “melon farmer” version of Robocop broadcast at like 9pm).
