This where things are going to get funny - my luck, GH is dead tomorrow, by a blade no less. I'd have preferred that ATPG had died instead, but alas...