Thanks. No, I don't have a right side Option key.
To the right of the space bar I have a (right) Command key and to the right of that there is one with a symbol equal to one that is on the lower part of the Enter key. It also seems to function as an Enter key.
I found this: https://elementaryos.stackexchange.com/questions/376/how-to-type-on-a-macbook-2-1 which made me think: Can I assign a different function to that strange kind of Enter key?
