if i want to change my air box and replace it with a cone filter or something similar, whats the diameter of the filter have to be. the car's a 93 prelude