Es tal y como tu lo has dicho. Te paso además el enlace de un decodificador de JSON a variables PHP buenísimo:
http://pear.php.net/pepr/pepr-proposal-show.php?id=198
Es un único fichero JSON.php donde tienes todas las funciones necesarias para manipular los datos que vengan en formato JSON