Leave it to OpenGL. If you want to, provide the user some texture preset (like low, medium, high). You don't have to manually unload/reload textures, they'll be cached anyway, and in case the graphics card runs out of memory, the driver will unload unused textures and reupload them in case they're used again.