The conventional wisdom in public …nance is that local governments should …nance public services, including those provided to businesses, with user charges that function as bene…t taxes, and should in particular avoid in-e¢ cient source-based taxes on highly mobile capital. However, if user charges are not available or infeasible, several public …nance experts have recently suggested that taxes on local production, such as an origin-based VAT, are a desirable alternative in that they serve as relatively e¢ cient "bene…t-related" taxes. We examine this contention formally in a model in which business public services must be …nanced with either a source-based tax on mobile capital, such as a property tax, or a tax on production, such as an origin-based VAT. In general, both a capital tax and a production tax are ine¢ cient. However, consistent with the "bene…t-related" view, the production tax is e¢ cient if the production function belongs to the knife-edge case between log sub-and log supermodularity with respect to capital and public services (e.g., a Cobb-Douglas production function), while the capital tax results in underprovision of public services in this case. Similarly, if the production function is log submodular with respect to capital and public services (e.g., a CES production function with substitution elasticity greater than one), a production tax is again less ine¢ cient than a capital tax, although both taxes result in underprovision of the public service. Finally, if the production function is log supermodular (e.g., a CES production function with substitution elasticity smaller than one), a production tax results in overprovision of the public service, while the e¤ects of a capital tax-and thus the relative e¢ ciency properties of the two taxes-are theoretically ambiguous.