GRIN.... (...) This is off topic for .debate... it belongs in .geek! C'mon guys! Now if you want to debate whether melting Mars is a good idea or not, that's different. :-) Personally I'm not sure it's a good idea, or necessary. There's plenty of (...) (21 years ago, 10-Jun-03, to lugnet.off-topic.debate, lugnet.off-topic.geek)