Yes, it worked. I installed from the repo you mentioned and rebooted, and wireless is up and running! next question - what should I do with that repository now? Do I keep it enabled and keep getting regular firmware updates from it? Or do I lock it out and hold onto the firmware I got from it right now?