They deduct from his retirement check. I remember seeing something last year that FEHB was increasing significantly for 2025 but he may have another plan or both FEHB and Medicare, they have a few other plans but don't remember the names.