nvidia also has a way to process mip maps via using scripts and a command line tool. Its one of their older options before they really just focused on building plug-ins for things.
Still works though is free and not too horrible to deal with once you get hand of the settings.
If you get hard pressed for a mip tool.