Yes, he COULD but wouldn't because his STRS is much more lucrative and given a choice self interest wills out.
Amazingly, the state pension recipients want to receive the low income SS subsidy despite not being low income. It would be sweet deal I guess.