ABSOLUTELY YES.
A leak is not a official radio that goes through QC and whatnot. There could be critical bugs that prevented it from being released publicly.
I'm not saying this radio is bad or particularly buggy, and there seems to be little QC when it comes to gnexus, but an official radio is still more encouraging.
The official radio is available on Google's official stock firmware web site. Download the stock firmware zip file, extract the radio and flash it using flashboot...
Sent from my Galaxy Nexus using Tapatalk 2