I am familiar with the vip722k. I've never used an external hard drive with one. The external hard drive plugs into the USB port not the HDMI so an HDMI switch is not the right tool for the job. While I am not certain from the limited amount of reading I just did on the subject. I would suspect you are going to run into some real head aches.
Steve