Damn, I wanted one too. This means soon they will sell for $100~150.00 dollars and be a "Special Collectors item".
I know my local gun shop has two of them because they have to USA marked HK45C's that are NEVER!! going to sell because they want $1250.00 each for them. They have been there as long as I can remember. They even have one the factory HK45CT's for $1400.00 that is never going to sell lol.