That OHT was designed for use with a clear lens, I don't know how what effect the smoke lens would have on it...but I suppose I could try at some time.

The bevelled 'neon' lenses are indeed intended to make use of the button LEDs to create the rim effect.