Hi. It's definitely a great domain, very hard to put a price on it - its one of those domains that could vary depending on how bad someone wants it.
Because the .com is used by one of the largest companies in industry, I'm not sure how that would play out for someone serious looking to build it. However, my first try would be to approach crypto.com and see if they would like to put an offer on it.
Otherwise, it's probably more realistic to expect mid 5 digit range, IMO.