I own one TDS3054 (genuine) with several modules, vga, cf, serial, printer. New battery. New lcd.Cap.
Included 4x6139A 500Mhz probes.
Cosmetically very nice, no scratches or burnings.
Would sell it cheap provided you are ready to pick it up. Sorry no shipping, no exceptions.
I am located in Spain in case you are interested.