Thanks very much to Jorge Castro for pimping Terminator on his blog. I hope I get the flurry of patches he mentions!