I think you're reading too much into a speaker's nominal impedance rating as well as the amps' rated impedance spec, speakers vary in impedance with frequency in any case, amps even when rated only at 6 and 8 can be comfortable enough with 4 ohm loads. Pretty sure your DefTecs spend time well below 8 ohms, and your Marantz can probably do well enough at 4.