Very nice! There is good money in crypto domains to those who are patient and have a bit of foresight and luck.
Oh BTW my domain tokenfaucet was valued at just under 2,000, so you really can’t go by the automated estimates. Your domains are probably worth much more.

Good luck with them!