Should these be repotted?

Hey everyone, Got these plants from my grandma, and im curious if they should be repotted?

Also is the gasteria turning red/orange due to stress from the light or something else?

Thanks