Judging from their job postings they are resorting to binary patching more often than not (so it's not only theoretically).