You are correct.
This so-called “back-door Roth” method ONLY works if you have NO OTHER Traditional IRA accounts. If you do, then the non-deductible part must be spread over ALL accounts and cannot be withdrawn by itself. Only if you started with NO Traditional, SEP & SIMPLE IRA and ended up with a zero amount in ALL Traditional, SEP & SIMPLE IRA accounts will this Roth conversion not be taxable.
And yes, it is possible to roll pretax money to an employers 401(k) (after-tax money cannot be rolled into a 401(k)), if the employer plan allows it - not all do.
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**