I'd forgotten about Tinkercad, although a friend uses it exclusively. I just signed in and found that download and export (.obj, .stl) work, as does import. Something amiss?