how funny, I have that same 13mhz funct gen (instek, I think). its very large and heavy but pretty well built and the freq counter can be used on its own, as well as showing the internal FG freq. really nice feeling buttons and controls. whoever gets it will be happy with it, if they like really nice user interfaces and quality feeling controls.
good luck