There are a few ways of setting it up also. You could use DashLaunch to boot into it on start-up. You could make a QuickBoot Image to load it from the NXE Dash[would require a mem-unit or official hdd].
Basically just get it from xbins and add the non-live version to the external. Then use either above method to get to it.