It's something that we considered a year ago, I think, back when we knew some parameters. It was before all the recent changes were announced. At the time, we estimated that the cost of the gun buyback would be several hundred million dollars. You'll have to forgive me for not remembering the exact amount. We estimated, I think, $800 million for the gun buyback program, but I may be wrong.
I'll have to provide you with a more accurate response in writing.