Thanks to the folks @hostgator for resolving my customer service issue, painlessly and without fuss. That is rare these days. Great service!