[microtonal]

I don't know any people who still use them (aside from lights that haven't broken yet). LED lights have become much cheaper since the ban, last much longer, and with the current energy prices they are probably much cheaper over their lifetime.