Why would the company have to pay a few extra vacation days? It sounds like a temporary shift of personnel where somebody was out of their normal department but they were still working for the company. That's just a Tuesday not a vacay.
But it was worth it.