What is the best way to delete videos loaded onto the Nexus 7 which appear under the heading Personal Videos in the stock video player? I have used ASTRO to delete them but then they still appear in the Personal Video list (although they cannot be accessed) until you shutdown and reboot the Nexus 7. Thanks.