Separate names with a comma.
Those gem5 lights are one heck of a price, not really worth replacing, I suppose the scrubber goes in the cupboard until those lights are more...
sadly the LEDs have packed in is there anywhere to buy new lights or a cheaper alternative as the light I’m finding are more expensive than a new...