These days, that's probably right, but in the 1940's it could reasonably refer to a small almost-hospital sort of place for all non-major sort of stuff.
I did a little searching for reference to the existence or destruction of it -- I couldn't find anything. I also can no longer find Julian Jones' Facebook page --I thought he might have more info for you. Sorry --- I tried