(just guessing) possibly up to low $xxxx based on some fraction of price for the .com - which was sold recently via DotComAgency, and was part of the DarkBlueSea portfolio before that. I didn't find any recent sale price but looks like the .com traded for $6000 many years ago so not unreasonable to imagine that it could be priced around mid $xx,xxx these days. So guessing that the .net should be worth at least 10% of that.