This has been my experience as well, but during busier periods people do actually work full days on Fridays. It might only add up to a few weeks per year. This

This has been my experience as well, but during busier periods people do actually work full days on Fridays. It might only add up to a few weeks per year. This is much better than the alternative, though (working on weekends a few weeks a year).