We noticed recently that Google had indexed a page that we didn't want to be indexed. As a quick fix we added the page to the disallow list on our robots.txt file. I let Google know the file had been updated and it was refreshed in Search Console. My question is how long will it be before the page is no longer indexed? Or do I need to do anything else as well e.g. noindex the page?