Yeah I think in general “export” is used for cases where you’re saving to an application’s non-native file type, whilst save as is more often for “save as a new file somewhere else”, tho I’ve seen a lot of apps allow you to use “save as” to save to a uneditable format.
Yeah and it’s also probably pretty small runs, so that’d make it even more expensive. I feel like it’s a fair price for what it is, would never buy it myself tho.