Motivated by recent work connecting Higgs phases to symmetry protected topological (SPT) phases, we investigate the interplay of gauge redundancy and global symmetry in lattice gauge theories with Higgs fields in the presence of a boundary.