I read an article last night that every year for the last few years that the P/S deck heights have been getting shorter each year. I think that they may be below 9" now. I know what the article said the reason for this is. But what are the thoughts in here about this?