I would price that domain in the high $xxx or in the low $x,xxx.
To promote this domain beyond listing it in the marketplaces you could contact potential end users like for example the owners of the other extensions.
Congrats! Though, the whois record hasn't been updated, indicating the new owner hasn't taken possession of it yet or they are still using your whois information.