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.