IMO of the options you mentioned definitely build it up and develop it into a website/business. Flipping the name outright for a lot of money is unlikely but as a developed brand the name is ok. But if you want to market the name and try to sell it then it's worth a shot. Worst case scenario you...