Has anyone tried, or has it ever been commonplace to use crushed lava rock as a biomedia in a filter? I know people use large pieces of lava rock in tank as an efficient media for nitrifying bacteria to colonize - just curious whether its at all efficient in a filter itself.