It is known that Namba forcing is stationarypreserving and hence can be used in the setting of Martin's Maximum. Does this result in any striking consequences?

Magidor's proof that MM implies that there are no good scales of length lambda^+ for lambda>cf(lambda)=w, utilizes a Nambastyle forcing. 


I think that I may have found a suitable candidate; namely, the result of Konig and Yoshinobu that $MM$ implies that there are no $\omega_{1}$regressive $\omega_{2}$Kurepa trees. The proof seems to have the same relatively direct flavor as those in Baumgartner's $PFA$ article. 

