Muchas gracias a todos por los consejos. Efectivamente tiene número RAE (71663) y sigue vigente en Industria.
Respecto a la diferencia entre "ascensor" y "elevador" que menciona Luiggi, entiendo que desde la entrada en vigor de la nueva normativa de ascensores en 2015, ya sólo existe el concepto de ...