all copies of OOT3D are vulnerable. I'm pretty sure if they were patched, then we'd hear about it by now.edit: oops, my fault. if you still have access to homebrew, use it. if you dont, you're better off buying cubic ninja or ocarina of time from ebay (pretty sure its been patched on newer carts.)
also I'm guessing they do have access to homebrew, being on 10.1 they have browserhax (New 3DS so the block can be bypassed) and menuhax.