Not bad of domains. I think if you use them, they will be pretty valuable. If you just sold them off now, I'd think you would get mabye a few more than Reg Fee.. right now I'd say all are XX.XX range.

Although I'm not sure about the .pro extention.