Except it's not, Google has price ranges for registration dates. So if you wanted to registered today (Feb 19th) that's gonna cost you $11,500, but if you want to wait until it's free, that's 10 days from now.

https://domains.google/tld/dev/