the 8800x is an early 1990 model (red LED display), and not the early LCD.

8800x is a 1987 model

the dock is original, the plug is also original however 1 pin has corrosion (this can be sanded off, ideally with steel wool and it wont cause problems)

£109.99, not a bad price for two rather collectable iconic models in this series + a charger.

charging dock alone fetches 30 quid

could benefit from a clean

sold as seen, battery terminals look good.