Given that this [0] is very likely Gail’s husband (the guy who purchased the domain as a birthday gift for her in 1996), I don’t think they need the money.
I own several 3 & 4 character .com/net domains and have never had any requests to purchase them. They are all too obscure to be useful I guess.
This one would only be super valuable to Google (Catch gmail.com typos) or if someone wanted to launch a product called Gail (in my opinion).
Paying a million or more for a domain to consolidate branding is common for example pop.com https://news.ycombinator.com/item?id=28223515 and I know Puppet Labs paid a pretty penny for Puppet.com when it became available, and they were able to rebrand once they had that domain.
Technical co-founder of DigitalOcean owns wit.com (and he loves telling people) - he told me he's had offers well into 7 figures for it. 10000% sure he'll never sell it, ever, he loves it. :)