In general, everything you say is correct. However, I have been assuming that there must be some IRS "rule" that caused the shares transferred from the IRA to be designated noncovered. I couldn't find it in any of the IRS pubs I looked at. It doesn't actually matter but I was curious.
