Reverting a JB (Verizon) Nexus back to stock ICS?

[Red Storm]

So I'm loving JB on my Nexus, but my friend (who followed my lead and got me to put it on his phone) has been having issues and when he tried to do a factory reset, it just reset him back to JB, not ICS. I figure he has to download some images from somewhere, can anyone point me in the right direction?

 

[VashHT]

Should be able to do it with this: http://forum.xda-developers.com/showthread.php?t=1400871

Just make sure he follows the directions closely.

 

[Red Storm]

Well we tried that Toolkit but no good in the end, kept freezing half way through. Tried another toolkit (WugFresh) and it worked perfectly. Thanks.