El nombre fue propuesto por uno de sus compañeros de partida, que se aseguró antes que la ley admitiera tal cambio y un tras un trámite que en total demoró 5 años (y para su desgracia), su solicitud fue aceptada.
Ahora sólo queda cambiar su nombre en el carné de conducir y en todos los documentos legales. O bien puede volver a cambiarse el nombre pero tendrá que pagar 107 dólares (aproximadamente 60 mil pesos)…pero mientras eso pasa, los amigos pueden llamarle Frostnova.
