A friend has seen these switches in hotel rooms and asked for identification to possibly buy them:

The Occupancy sensor activates the little nightlight built in to the switch (the on/off symbol). Toggling the switch turns the room lights off and on.
Anyone recognize them?