Yeah, I think the move makes sense, seeing as how the only documented name we have is the toy name, which is Shark Sub. Hilfam (talk) 19:51, 15 April 2025 (EDT)
