Get some coffee, study, hangout, do whatever :) I don't think Veterans Day will change their hours, but if it does, let me know!