Hi Marik,
Check with NAD's site or a technical person there. Also, current Harman/Kardon models, including the AVR525, which I use, drive the M80s with no problems.
Manufacturers are sometimes evasive about 4-ohm capability, because their receivers may have "current-limiting" circuits that limit output power driving 4-ohm loads (or in some cases, shut down the receiver temporarily). H/Ks are ok, so are Denon and, from everything I've read, the NADs.
If a receiver has a back-panel switch for a 4-ohm load, don't get it. The switch will limit power output to the M80s so the output transistors don't run hot.
Regards,