I think if you were to introduce him as Benjie then it shouldn't be a problem. People will more easily trade one nickname for another rather than stick to the full form. But still you have to take into account that one day he might want to be called Ben and nothing you will be able to do about it by then.