For the right end user, I could see $500-$1000. I’d expect it to be a fairly narrow focus of online universities or new startups that would want to use it so it may take time to find a buyer. If you don’t plan to hold it and renew a few times, it may just be worth the registration fee to a domainer.