On the one hand, that sucks. On the other hand, kudos to the dealer for being willing to make things right, and I suspect it'll be a touch easier to find 8mm Danish Krag ammo vs. 9.3x72R.
I suspect that statement about the ammo may end with me prying my foot out of my mouth...