Did you know that Big the Cat's name in Spanish is Gato El Grande.

It's not a pun, I just think it's awesome.

(Cursor in the bottom right corner, no not that far, there, wait, no, further down. down a bit. up. left a bit. There.)