When they use the term system that means you have no idea what that price includes, e.g., if it includes some night vision optics it starts looking cheap.
Yep. I did a little goggling and it looks like you can get into the basic MK 13 mod 7 rifle for about $5400 HERE. They're sort of cagey what optics they actually use and there may be options but the one that keeps coming up is the Nightforce ATACR, running about $3500 at Optics Planet, although no guarantee that's exactly the same one; as I say, they're sort of reticent. Nine grand on the hoof plus night vision, case, and accessories.
Or you can skimp on the glass. I have an old Tasco 4 power that I could use. The way I've been shooting a rifle lately, it wouldn't make much difference... ;-)
I was stunned at the price.... But, now that you say like that.... You have a good point..