Is 5/16" definately the correct size? I noticed Fast Eddy sells 1/4" filters. I was just going to do this today and want to be sure.