Removing VMs from VirtualBox gui

Deleted files backing the VM? "Remove" option does not work?

edit /Users/<userName>/Library/VirtualBox/VirtualBox.xml and remove entries with the name of your VM. Removing options like LastSomethingSomething was safe to do in my experimentation but the main section is here:

<MachineRegistry>

<MachineEntry uuid="{ee2edf14-bc0f-4436-9cb2-beb983425c8f}" src="/Users/user1/VirtualBox VMs/ui_vm/ui_vm.vbox"/>

<MachineEntry uuid="{911ad5ce-a269-4549-8cdc-b1d8df47df72}" src="/Users/user1/VirtualBox VMs/ui_vm_w_ga/ui_vm_w_ga.vbox"/>

</MachineRegistry>