Cada consola lleva asociada una cuenta dentro del Canal Tienda, de forma transparente. Aunque formatees la consola, los juegos que pagaste siguen estando disponibles para su descarga sin tener que pagar nada más.
Lo que yo me pregunto es qué pasará con los juegos pagados si mandas tu consola a garantía y te la sustituyen por otra. Supongo que ahí los perderías, pero podrías pedirles que te los vinculen a la nueva consola.
Salu2.