For the Airbus SA aircraft I think they offer the option for the 'No Smoking' lights for 'PED (Personal Electronic Device) OFF' light. If that's the case, I'm sure the option is available for the Big Bus so it is the client who has to pick his choice from the catalogue.