Lolol I believe the actual trilogy title will be Holiday Spies just to make sure everyone knows EXACTLY what they're getting, but I do love A Spy for All Seasons.

If only I can think up a story for Michael! Something also slightly magical but NOT in a way where we're going to dig into/undermine the "worldbuilding," such as it is...