This is definitely a harder one to price than most others.
I'm about 90% sure it should be able to get $1,000 to $3,000 from an end-user.
With a 5% chance it could get as high as $4,000.
The last 5% is that with inadequate marketing it never finds an end-user, or with exceptional luck it finds one that is willing to pay a premium price... e.g. $8,000 - Because with domains... you never know