 Okay. Is it worth that to you? Probably not. Is it worth that to somebody? Yes, it is. Otherwise, they wouldn't be selling them out there. So you can get them pre-polished or you can do it yourself by flinging a bunch of rounds downrange. And, oh, with the price of 9mm ammo today being low, and trust me, it is, not compared to 10 years ago, but for right now, 9mm ammo is cheap.