Esatto, nel caso bisognerebbe spiegare perche' le equazioni di Maxwell (la descrizione classica dell'elettromagnetismo, ovvero della luce) non sono piu' Lorentz-invarianti (Lorentz invarianti == non cambiano sotto le trasformazioni della relativita' speciale --> e' proprio la velocita' della luce ad essere la costante limite della relativita' speciale), mica un problema da niente.
Piuttosto, non dimenticatevi che l'estrema precisione (20 cm di errore!) nella misura della distanza CERN-Gran Sasso dipende dai GPS, che a loro volta dipendono dai principi della relativita' generale. Quindi proprio a volere scommettere sulla necessita' di correggere l'impianto teorico (ma io scommetto a mani basse su errori sistematici overlooked o trattati con una certa disinvoltura statistica) e' logico iniziare dalla relativita' generale (la teoria della gravitazione) e non da quella speciale, che e' molto piu' profondamente radicata nell'impianto della fisica teorica.
Comunque pare che ci sia un controtest con i neutrini elettronici (quelli usati sono neutrini tau) che, se realizzabile, aiuterebbe a chiarire di molto la situazione (ma io non sono un particellare, quindi la mia competenza in materia e' perlomeno limitata).
