Let's say my employment is ending in a week due to a different job moving unexpectedly fast in the hiring process. I've already put in my notice with HR, but I have a decent amount of vacation time saved up and don't have the time to formally request it. Will this time be paid out to me on my final paycheck, or will it just... disappear? If it's not going to be paid out, is there a way I can use that time without having to formally request it? Is that up to HR?