Hmm...sorry, I just was disappointed that debian couldn't produce a bootdisk.

Yes, I did brush you off a tad, my apologies. No, I haven't run that, I assume that they will work and I have saved them for future reference.