A sizable portion of that 25% were people who decided to retire (early), but yeah...it was massively expensive. They also offered very, very generous moving packages to everyone who did relocate along with early retirement packages for those who stayed.