One beauty of buying decent quality components is that they ALSO work together. It makes me snicker that a "THX Ultra" receiver may or may not be able to "officially" drive 4 ohm speakers ...

Having said that, I can't believe that it couldn't REALLY drive them, unless they're really badly behaved. Most speakers impedence wavers all over the place moment by moment depending on the signal spectrum.