Does anyone know what the Technical Manual number(s) are for the HP5334B counter??? Jan Skirrow, VE7DJX