Decided to restore this old thing from out in the shed. It was in the weather for a couple of years, and I think it’s 20+ years old.
Replaced the pump with a USB powered 5 watt silent one.
Replaced the halogen lamp with an LED one.
Cleaned as much as I could.
Seems to be working well. How long the $12 ebay pump lasts remains to be seen.
More pics at https://photos.app.goo.gl/HDmVb2K1MeUQTfuG8
Bro I had one as a kid It was awesome