paying it out as salary is less tax efficient. simply marking it as "equipment stipend" would probably not be enough to prevent it from being counted as income under tax law. if you already have accountants to track business expenses, it's probably more efficient to do whatever the minimum amount of expense tracking is needed to make it a non-taxed expense. plus if you give everyone a budget, there's always the chance that some of them won't spend all of it each year.