Sometimes good domain names couldn't be purchased normally. It let us contact GoDaddy directly or the domain owner. Do you have any experience purchasing it unofficially?
@EO of 1kprojects.com might have a good idea about this.
Honestly, I've never done that personally. But, on 1kprojects, you reach out directly to the seller.
Ok. No worries.
BTW great exit story. Inspiring. Cheers!