Seems like with all the goons they had searching the place, they didn't have to know where it was ahead of time. They were going to find it sooner or later.
That's possible but Mara largo was built between 1924 and 1927.
It is more than 62,000 square feet.
I'm uncertain what part President Trump occupies.