For anyone else looking for vanity domains : often used https://domainr.com/ to check for availability. gandi still usually cheaper for the reg.