PTO Sell back question. Just went over 100 hours. I was told by a senior guy recently that when you sell back PTO, the company match in one of the 5/5/3 (= 8 &#128512 retirement percentages goes down so in the end it's almost a wash...i.e. A zero sum game and maybe better to just use PTO. I scoured the PEA and couldn't find anything on that. Any opinions?

TIA!