What’s the deal with 1500 Shamrock Drive? In the middle of all housing neighborhoods, but it’s clearly not a house. What did it used to be? It’s also being fixed up from what I’ve seen, anyone know what is happening with it?