I have been using Karabiner for about a year now to disable my option key, which was permanently depressed due to water damage. I haven't exploited it for my productivity, but it saved me a good deal of money!