Действительно ли KillTimer необходим?

Это может показаться дублирующим вопросом для Нужен ли KillTimer?, но я хотел бы подтвердить это с помощью надежного источника.

Действительно ли уничтожение окна освобождает ресурс, выделенный ОС для таймера? (действительно ли вызывается DestroyWindowsTimers, не говоря уже о том, существует ли такая функция на самом деле? если да, то где?)