Digital 4000

hallo,
kann mir einer sagen wo ich an der Fernbedienung bei dem Digi 4000 die Optionstaste finde oder hat der keine
vielen Dank!
gruß
klaus4204