Not Feds, but we have lots of WFH folks in my neighborhood. Between walking the dog three times a day, taking a few laps in their pool, dropping the kids off at school, mowing the lawn, food shopping at 11, going out to lunch, golf at 3, washing the car, I'm not sure how much work is getting done.
They sure don't need to retire early!