Has anyone ever used one of those small inflatable pool filters in their aquarium? I have a Intex 12R. I think it's for either a 500 or 800 gal. pool. I want to use it as a polisher. Kind of like a diatom filter. It takes cartridges and I don't know what number micron though. Having a hard time finding the cartridges. So I would like to know if it's worth the effort. Thanks