長谷川なんちゃらにキャラ名の権利があるから苗字を変えた…は流石に無いか。それだったらミントも変える必要ないし