Gators working on play clock management