Yeah I just found that. Unfortunately you cannot export to any non-native formats with the student edition you can get from there, so not particularly useful if you want to 3D print or laser cut anything.
Thank you. I’ve wanted to start using Solidworks for a long time. Just could never justify the cost. If you can’t export other formats that’s a big negative.