$4.75, but nevertheless, ouch! What do they put in that "petrol" that makes it so much more expensive than regular gas?!?! "Barrie K. Davis" <barrie_davis@domain.elided> on 01/13/2000 04:29:06 AM