MySQL cambiando el nombre a una tabla

Acabo de cambiar el nombre a una tabla en una base de datos MySQL. El caso es que lo he intentado hacer de memoria y no he sido capaz. Gañanismo congénito.

Weno, pues aquí dejo apuntadas un par de posibilidades que he encontrado:

ALTER TABLE <tbl_name> RENAME TO <new_tbl_name>

y

RENAME TABLE <tbl_name> TO <new_tbl_name>

Me pongo una tira negra en los ojos y reconozco que ignoraba la existencia del comando RENAME como renombrador de tablas.

Salud y mucho rocanrol!