I would just keep the name as a directory (don't sell the domain seperately). It'll have more value once it gets a high PR.