Remove prod4, add prod9

Prod4 is gone, and replaced by prod9.