Gene, I went and remeasured these speakers again (IN ROOM). It looks like you're correct - the port doesn't contribute until about 140hz, so the F3 appears to make it below 80hz:
I think the mistake I made, was that Audyssey seems to set the automatic crossover at 160hz with both ports stuffed - which admittedly doesn't represent a true measurement.