I have a client who withdrew $150,000 from his 401k to buy his primary residence. He is not a first-time home buyer but he is a publice service employee who turned 51 in 2021. Is he subject to the early withdrawal penalty? From my understanding, he would be exempt if he had retired or been separated from service.