Probably need outside pictures of the lenses to see the color, and some close ups to determine what shape they are in. Deep red and no scratches could make the value go up.
$500 complete with clean lenses, cleaning marks and no peeling or scratches impacting vision. If the frame is tight with no blemishes and the lenses are exceptional maybe up to $600 - presuming the box is in good shape and it appears it is.
I have a pair and that is one of the last ones I’d ever let go.
I recently got my hands on an all original pair with a slightly lower serial number, original Ruby Iridium lenses, but without a soft case, hard case, or coin for $320.