I'm gonna go with $25k. But at least most of that was out of pocket and the rest is paid off now.