It's about $800 too much - you can get brand new BK Precision 2.4 GHz on ebay for under $1400.
Well if you compare the two side by side the Tek wins hands down. There really is no comparison (even if it goes to just 1.8GHz). The low frequency limit of this baby is only 100Hz.
There is a reason these cost more than 45000 USD in 1985. Well they normally go for 1800 EUR here in europe so whoever got it can be really happy.