Dougal, I have an unrelated WHDLoad issue... next time Aladdin messes up on you, can you re-boot and post here any Tooltypes you see in the icon (the .info file) for it?
Got some odd 'phantom tooltype' issues after upgrading to the newest WHDLoad... Real live registered, PAID-FOR keyfile, BTW.
