Here in Florida, we don't get it off. They swapped it for MLK Day years back to keep the number of holidays for state workers consistent. All the retailers are calling it Presidents Day for their sales. The ironic thing is when the date was last fixed at the 3rd Monday in Feb, they guaranteed it could never fall on Washington's actual birthday (Feb 22).