VS Half Deck question

[Pie]

Okay, just trying to make Brock's article on Bulbapedia absolutely perfect, and that means getting all the special cards and where they came from... and one piece of information is eluding me.

Does the ninth movie half deck have a name, or is it just "9th Movie Half Deck"? Are all VS Half Decks for movie promos named this way?

EDIT: And now I finally find an answer, though I guess it should've been obvious - Google pulled up the name "Manaphy" for the Half Deck. Is this right?

 

[Happy Mask Man]

I believe the Japanese name of it translates to "Sea's Manaphy," the same name as one of the cards in it.

 

[Mew Jadester]

Manaphy Half-Deck is what it suppose to be called.