Could possibly be Tecumseh #32008 or 33268 (likely), but is only rated to 10hp.
Nothing wrong with using a filter that is too small, they just get dirtier faster than what might be considered normal.
Most dealers that deal with K&N filters, will be able to source a filter that is almost or exactly that. Usually have to order it in... but they most likely make it.