Re: @FormerKowloonTonger Lest We Forget.
No, indeed the context is most appropriate; so, let's try putting it this way:
How many readers here would've had Bletchley Park closed, or never used for anything but strictly as a private home, most especially never used for England's defense by its Government? [thumbs up]
Maybe better stated as how many readers of this thread had ever heard of Bletchley Park before its being mentioned here?