Si te refieres a la descarga, únicamente hay un firmware así que ese es el que tienes que descargar/instalar. Si, sin embargo, te refieres a la configuración del modelo, en el menú de configuración -> Sistema -> Hardware Model deberás seleccionar el Woxter 3200 (3200 y 3250 es lo mismo salvo que el segundo tiene un doble sintonizador).
Respecto a tener que formatear, salvo que tuvieras instalado un firmware muy antiguo no deberías necesitar hacerlo ahora. De hecho, incluso en ese caso tampoco estarías obligado a formatear, aunque habría cosas que quizá no te funcionasen. Creo que hasta ahora nadie ha tenido que formatear. En las primeras versiones ni siquiera aparecía dicha opción en los Woxter 3200 (supongo que tampoco en los 3250).
Saludos.