Josef over at the IDE64 News is reporting that the IDE64 v4.2 is avaiable again. Whatever issues they were having with the cartridge casing appears to be resolved and they are now taking orders again.
The price of the IDE64 V4.2 is 99 Euro + registered priority air-mail shipping 6 Euro.