snmp_time records now deleted at appropriate time