No, this was from a different lot of "well-made HO buildings"* <cough>, of which you will see more soon (I'm disassembling them into more managable bits....meaning it is easier to clean up the muck)
*Must be related to the people who sell "expert-painted miniatures" on eBay