Who played Mr. Giant?

That's a good question. Even all these years later, there is nobody in the credits at IMDB listed as playing "Mr. Giant". Is it maybe Rodolfo "Boy" Garcia, who is listed there as playing "Mr. Kaiser"?