Joe, I saw that masking option but originally thought you were only limited to a circle; didn't realize there was a rectangle as well. And whaddya know... there's an option to round the rectangle corners, so this gets me to where I need. Thanks!
Now running into two problems:
The part outside the mask exports as black rather than transparent. Tried this both with exporting mp4 and gif.