I’ll note that the house is a state-owned residence, kind of like a Pennsylvania-level white house. Almost all states in the US have something like this for their governor.