unsilenced air cleaner diameter

so that probably takes a 12.5" filter?