Still, it was a good idea to ask at all. I'm surprised they managed to get it to you so quickly, but it's good news.

We should probably tell the rest so they know that's an option, too.