How do they look in red [F32]