Hi Micco,
In theory , It should work, also have you considered that with USB you might be able to up-grade right from your computer.? I have a Y2K that (as u know can`t be up-graded) so I`m only guessing but sounds right. The up-grade is only data that needs to get to the 9000, how it gets there (floppy, HD,or external comp) should not matter. I hope this helps
jedi