Finally!
Now I am also a proud member of the 8,5-digit DMM club!
Yesterday I got my Wavetek 1281, the grey version in very nice condition, options 10, 20 and 30.
Seems to be manufactured circa 2001, high serial number 447xx.
Price was 2700 USD (including 25% tax).
Will change electrolytic caps and change SRAM cal-RAM to F-RAM. Only bad thing so far is that this unit has no IC sockets
It has F/W v3.14, I have not seen this version anywhere to download, so I attach it here.