Ciao bettaluca e benvenuto (a proposito, sarebbe meglio presentarsi per benino nell'apposita sezione)!
Tuo nipote si ricorda bene: la marca è HAIBOXING.
Il modello dovrebbe essere invece il TOP SPEED RACING SURGE, codice HBX-6538.
Qui una breve recensione:
https://www.rcscrapyard.net/hbx-surge-xt.htm
Anche io ho fatto una breve ricerca in rete...
Modello in commercio dal 2009 circa, sia in versione con motore brushed che brushless (fra i due cambia anche qualche particolare estetico). La piattaforma di base dovrebbe essere pressoché la stessa di altri modelli simili tipo Warhead, Bonzer, etc... mentre non so quanto possa avere in comune con le versioni buggy (telaio diverso e trasmissione centrale forse pure, si salvano forsedifferenziali, ammortizzatori e poco altro)... ma considerato che il modello di tuo nipote è stato preso usato, non sappiamo se il precedente proprietario ha fatto delle modifiche.
Purtroppo sul sito del produttore le info sono veramente scarne (non c'è neanche una foto del modello senza la carrozzeria!):
HBX Hobby
Semmai prova a scrivere loro e chiedi se ti possono mandare il manuale con la lista dei codici ricambi.
Altrimenti segui il consiglio di Fabry, ti armi fi pazienza e cerchi fra i vari siti che trattano questa marca.