These domain names in my opinion are still not too bad. I'd say that if you put in a little time and effort and canvassed some server admins in various IRC channels that cater to IRC and BNC shell accounts you could probably convince an owner of a shell provider to give you $xxx for the domains.
Personally I would say they could go high $xx or low $xxx to the right person.
.net may not be considered great, but when it comes to gaming and shell related services people like .net's
I have seen clans choose .net over .com time and time again because they just like the way it looks. In addition most shell providers will use the .net for their website as they are running a network.
In addition to above these names would be great for search engines. If somebody was looking for an ircd shell what would they do? Google: ircd shells or ircd shell. In either event having these names would help you show up better.