Agreed. I'd contemplate 4300 for mine.
I think it's underrated by many. Its so unique in that there really aren't modes like other wpc pins. I believe it's up there with wh20 in terms of pricing. And it's more rare. I think it's a better pin as well. Wh20 was kick ass until I got vacation jackpot. Then it seemed pointless to keep it.