I paid $160 for it (Sedo's minimum .tc fee) I doubt the name itself is worth $160, but the combo of promotion, development, and the name should make it worth way more!
Research into the other proxy.tlds They are worth a lot, I remember at NamePros someone sold theirs for high $XXX It's easy to remember, type and brand with, but contains the word 'proxy' which could be blocked by filters. Develop it, and then sell it for maximum value
Yeah I would develop it and then it could be worth a lot. Make it a proxy topsite or something similar to proxy.org.