We examine the welfare effects of provision of local public goods in an empirically relevant setting using a multi-community model with mobile and heterogeneous households, and with flexible housing supplies. We characterize the first-best allocation and show efficiency can be implemented with...