Hi,
On the 4000 you hold both mouse buttons down while booting or rebooting, then go into boot options then select the drive or partition to boot from.
I do this offen, it also help if one of the booting drive is starting to go bad then you can retrive most of the files on the bad drive by copying them to the good drive. ;-)