That's the minimum I'd take for it and drop it by next renewal if it doesn't come.
Though, you might get more, or less, if you choose to use
NameLiquidate. It will start at $998 and go down to $9. At the very least, you could recoup registration fees and try again with a better name.