> Would be even funnier if he refuses to issue any for OS4.

I don't think you have to state your OS when ordering a keyfile as they are the same regardless of OS (and even MUI version). For at least 8 years he has issued generic (i.e. non-personalized) keyfiles anyway:

http://www.amiga.org/forums/showpost.php?p=290719
http://amigaworld.net/modules/newbb/viewtopic.php?topic_id=29636&forum=2&start=240#511286