Yes, you are correct. Mini

Yes, you are correct. MiniDV is quite compressed, but still very workable.

I’m not familiar with Vegas, but you should still edit with your project settings set to DV/DVCPro NTSC. Export a master in the same codec.

For DVD, you’ll want to compress to MPEG2 with AC-3 audio.