I AI'ed that question a while ago in response to somebody on the boards saying those shares are exempt from being loaned for shorting and they are, because IRAs are cash accounts by law, as are 401Ks.