If the mattress is exactly 9", a 9" cover will be fine. If it is slightly deeper or you plan on adding a topper, the 12" is a better choice. Having the cover bigger does not hurt the effectivness of the cover.